Model-theoretic Logics

A₁ A₂ abelian groups admissible set algebraic assume axioms B₁ Barwise Beth property binary relation boolean Borel Chapter characterization cofinality completeness theorem consistent construction Corollary countably compact defined Definition denote disjoint elementary elements equivalence relation example extension finite first-order logic formula free variables function Hanf number Hence implies induction infinitary logic infinite interpolation property isomorphism Journal of Symbolic Keisler L-equivalent L-sentence L(Q₁ language Lemma linear order Löwenheim number Löwenheim-Skolem property Löwenheim-Skolem theorem Mathematical measurable cardinal model theory model-theoretic monadic theory notion omitting types ordinal partial isomorphisms predicate proof of Theorem Proposition prove Q₁ quantifier Q reader recursively enumerable regular cardinal relation symbol Robinson property satisfies second-order logic Section sequence set theory Shelah subset Suppose t-structures t₁ topological unary uncountable Vaught vocabulary w₁ weak model well-ordering x₁