New posts in model-theory

Is algebra needed to really understand and/or enjoy model theory?

abstract-algebra model-theory

Which sets are present in every model of ZF?

set-theory model-theory

Preservation of structure in model theory

logic terminology definition model-theory

Where are the model theory concepts from?

logic soft-question first-order-logic model-theory

What is the degree of a real closure of an ordered field?

field-theory cardinals model-theory extension-field ordered-fields

Model of Robinson Arithmetic but not Peano Arithmetic

logic induction model-theory first-order-logic peano-axioms

Excluded middle, double negation, contraposition and Peirce's law in minimal logic

logic model-theory intuitionistic-logic

A *finite* first order theory whose finite models are exactly the $\Bbb F_p$?

logic field-theory finite-fields model-theory first-order-logic

Complete first order theory with finite model is categorical

elementary-set-theory model-theory

Independence results that cannot be established by forcing.

logic soft-question set-theory model-theory open-problem

In classical predicate logics, why is it usually assumed that at least one object exists?

logic predicate-logic model-theory philosophy

A proper pseudo-elementary class whose complement is an elementary class

model-theory

On the definition of a logical system

logic model-theory

Cardinality of ultraproducts

logic set-theory model-theory filters

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

logic first-order-logic model-theory second-order-logic

Non-ZFC set theory and the hyperreals: problem solved?

logic set-theory model-theory nonstandard-analysis

Exponentiation and a weak fragment of arithmetic

logic model-theory nonstandard-models

Is it true that $\mathbb{C}(x) \equiv \mathbb{C}(x, y)$?

field-theory model-theory

Does every complete theory admit quantifier elimination?

logic model-theory

Why is quantifier elimination desirable for a given theory?

first-order-logic predicate-logic model-theory quantifiers quantifier-elimination