Model theory - related articles and key terms

Related articles: Logic   Axiom of choice   Table of logic symbols   Consistency   First-order logic   Semantics   Embedding   Mathematical logic   Mathematics   Abstract algebra   Set theory   Alfred North Whitehead   Binary operation   Graph (mathematics)

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

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