Model theory

[225/86%]

Subtopics

Axiomatic theories and completeness[62/87%]
Ultraproducts and filtered products[49/88%]
First-order formalization and definability in structures[38/71%]
Axiomatizable classes[31/87%]
Finite and infinite models, model sizes and spectra[25/88%]
Gödel's completeness theorem[21/95%]
Elementary substructures, extensions and embeddings[17/94%]
Löwenheim-Skolem theorem[15/100%]
Compactness theorem (first-order logic)[13/100%]
Substructures, embeddings and universal classes[12/83%]
Robinson's joint consistency theorem[5/100%]
Decidability of logical theories[4/100%]
Elementary equivalence and isomorphism[4/75%]
First-order Horn formulas[1/100%]