Example image of eyePlorer eyePlorer map for 'Model theory': Graph (mathematics) Group (mathematics) Mathematical logic Mathematics Set theory Structure (mathematical logic) Algebra Universal algebra First-order logic Finite model theory Gödel's completeness theorem Higher-order logic Infinitary logic Semantics Syntax Howard Jerome Keisler Logic Computer science Interdisciplinarity Philosophy Proof theory Association for Symbolic Logic Computable model theory Dana Scott Löwenheim–Skolem theorem Robert Lawson Vaught Abraham Robinson Alfred Tarski James Ax Non-standard analysis Quantifier elimination Real closed field Morley's categoricity theorem Saharon Shelah Stable theory Ehud Hrushovski Signature (logic) Arity Binary operation Unary operation Identity (mathematics) Magma (algebra) Monoid Ring (mathematics) Semigroup Algebraic structure Free object Variety (universal algebra) Abstract algebra Alfred North Whitehead
Disclaimer