MATH
Login Or Sign up

List Question

15
110
Views

Existence of total order for every set

Published on
#logic #propositional-calculus #model-theory #axiom-of-choice
137
Views

Löwenheim-Skolem and proper class models of ZFC.

Published on
#logic #set-theory #model-theory
168
Views

Elementary substructure and existentially closed

Published on
#logic #first-order-logic #predicate-logic #model-theory
190
Views

Understanding the proof of $V=L \rightarrow \Diamond$

Published on
#set-theory #proof-explanation #model-theory
36
Views

Criterion for $\mathcal L$-structure to be a model of universal theory

Published on
#logic #model-theory
350
Views

What does Feferman-Vaught say $\mathbf{exactly}$ about definable subsets of a direct product of two structures?

Published on
#logic #model-theory
60
Views

Choicelike consequence of compactness

Published on
#logic #set-theory #model-theory #axiom-of-choice
143
Views

Showing two sets of formulas are logically equivalent using induction.

Published on
#proof-verification #logic #induction #propositional-calculus #model-theory
110
Views

Class Absoluteness on $V$ with ZF-Models

Published on
#set-theory #model-theory
272
Views

$\exists^\infty$-elimination and model companion.

Published on
#model-theory
66
Views

Elementary substructure in the ring of polynomials

Published on
#logic #model-theory
209
Views

What does the word "extend" mean in the context of model theory?

Published on
#terminology #first-order-logic #model-theory #filters
236
Views

First-Order-Logic: Structure of an extended language

Published on
#first-order-logic #predicate-logic #model-theory
941
Views

How can a formal system ever be non-obviously unsound?

Published on
#logic #model-theory #incompleteness
92
Views

The ladder of the real closure of an ordered field

Published on
#abstract-algebra #field-theory #model-theory #ordered-fields

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.