New posts in Model Theory

Can we make a theory of small categories?

Can we always "locate" a transitive model inside some larger transitive model?

How to show that $\mathbb{R}$ in the language of rings does not admit quantifier elimination?

What is the point of model theory?

Is there a model exists, such that homomorphic to the set of real numbers but the order is given by $\in$?

Understanding nonstandard Peano arithmetic

Is this equivalence of the compactness theorem true?

Simple model-theoretic arguments in set theory

Is there an object such that its unique existence follows from choice axiom, while its existence cannot be proven without choice axiom?

Distinguishing non-isomorphic groups with a group-theoretic property