New posts in Model Theory

Forcing an ultrahomogeneous structure in a non-relational language

The least universal cardinal has countable cofinality

What kinds of theories of real multiplication with one real constant are possible?

The field of algebraic numbers as a recursive structure

What axiom system for the complex numbers is categorical?

Implications of a model of ZFC

Can proper elementarily equivalent end extensions ever be definable?

Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?

Expressing associativity with only two variables

Definability in the signature of first-order logic with identity