Model theory - related articles and key terms

Related articles: Logic   Mathematical logic   Proof theory   Universal algebra   First-order logic   Abstract algebra   Semantics   Embedding   Set theory   Hyperreal number   Algebraic structure   Axiom of choice   Mathematics   Binary operation   Graph (mathematics)

Key terms: model theory   theorem   logic   mathematical   signature   completeness   sentences   universal algebra   mathematical logic   satisfies   completeness theorem   forall   identities   uncountable   mathcal   quantifier elimination   compactness theorem   categorical   substructure   aleph   standard signature   boolean   homomorphism   finite model theory   axiom   forall u   forall v   geometric model theory   isomorphism   stability theory   consistent theory   unary   mathcal m   mnd   teoria   lor   infinite structures   finite or countable   uncountably categorical   exists w   exists v   undecidable   classical model theory   infinite model   modulo   syntactical   proof theory   incompleteness theorems   iff   mathcal n

Search external links cited by footnotes on Wikipedia page Model theory: