blanketglossary

Model theory

Definition

In mathematical logic, model theory is the study of the relationship between formal theories, and their models. The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.

Related concepts

A K Peters, Ltd.Abraham Robinson Abstract algebra Abstract elementary class Abstract logic Abstract model theory Ackermann set theory Aleph number Alfred Tarski Algebra Algebraic geometry Algebraic logic Algebraic number theory Algebraic theory Algebraic topology Algebraic varieties Algebraically closed field Alianza Editorial Allyn and Bacon Alphabet (formal languages)Analytic geometry Analytic number theory Anatoly Maltsev André–Oort conjecture Annals of Mathematics Applied mathematics Archimedean field Argument Arithmetic Arithmetic geometry Arity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Automorphism Axiom Axiom of choice Axiom schema Axiomatic system Axiomatization of Boolean algebras Ax–Kochen theorem Banach–Tarski paradox Base (topology)Bijection Binary operation Boolean algebra Boolean algebra (structure)Boolean algebras canonically defined Boolean function Calculus Cambridge University Press Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinal exponentiation Cardinal number Cardinality Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Characteristic (algebra)Chen Chung Chang Church encoding Church–Turing thesis Class (set theory)Classical logic Codomain Combinatorics Commutative algebra Compactness theorem Complement (set theory)Complete theory Completeness theorem Complex analysis Complex exponential function Complex geometry Computability theory Computable function Computable model theory Computable set Computably enumerable set Computational complexity theory Computational geometry Computational mathematics Computer algebra Computer science Concrete category Conservative extension Consistency Constructible topology Constructible universe Construction of the real numbers Constructive set theory Continuum (set theory)Continuum hypothesis Control theory Countable Countable set Czesław Ryll-Nardzewski Database theory Decidability (logic)Decision problem Deductive system Definable set Dense linear order Descriptive complexity Descriptive complexity theory Diagram (mathematical logic)Differential equation Differential geometry Differential topology Diophantine geometry Direct product Discrete geometry Discrete mathematics Domain of a function Dover Publications Ehud Hrushovski Element (mathematics)Elementary algebra Elementary class Elementary diagram Elementary equivalence Elementary extension Elementary function arithmetic Embedding Empty set Encyclopedia of Mathematics Engineering mathematics Enumeration Equiconsistency Equivalence relation Erwin Engeler Euclid's Elements Euclidean geometry European Mathematical Society Existential quantification Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Field (mathematics)Finitary Finitary relation Finite-valued logic Finite geometry Finite model theory Finite set First-order formula First-order logic Fixed-point logic Forcing (mathematics)Formal grammar Formal language Formal language theory Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics Fraïssé limit Free logic Free variables and bound variables Function (mathematics)Functional analysis Functional predicate Future of mathematics Fuzzy set Game theory General set theory General topology Generalised continuum hypothesis Geometric topology Geometry Glossary of mathematical symbols Graduate Texts in Mathematics Graph theory Grothendieck universe Ground expression Ground formula Group theory Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering H. Jerome Keisler Halting problem Harmonic analysis Hereditary set Higher-order logic Hilbert's axioms Hilbert system History of logic History of mathematical logic History of mathematics Homological algebra Homotopy theory Howard Jerome Keisler Hypercomplex analysis Hyperreal number Image (mathematics)Inaccessible cardinal Independence (mathematical logic)Inference Infinitary logic Infinite-valued logic Infinite set Infinitesimals Informal mathematics Information theory Inhabited set Injective Injective function Institutional model theory Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Interwar period Irreducible element Isomorphism James Ax Jon Barwise Jonathan Pila Journal of the American Mathematical Society Katrin Tent Knot theory Kolmogorov complexity Kripke's theory of truth Kripke semantics Kripke–Platek set theory Kurt Gödel Lambda calculus Large cardinal Large numbers Lars Svenonius Lemma (mathematics)Leopold Löwenheim Limit ordinal Lindström's theorem Linear algebra List of Hilbert systems List of axioms List of films about mathematicians List of first-order theories List of formal systems List of mathematical theories List of mathematicians List of set identities and relations List of statements independent of ZFC Lists of mathematics topics Logic Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical truth Logicism Lwów–Warsaw school Löwenheim–Skolem theorem Many-valued logic Map (mathematics)María Manzano Material conditional Mathematical analysis Mathematical and theoretical biology Mathematical chemistry Mathematical economics Mathematical finance Mathematical geology Mathematical linguistics Mathematical logic Mathematical model Mathematical object Mathematical optimization Mathematical physics Mathematical psychology Mathematical sociology Mathematical statistics Mathematicians Mathematics Mathematics and art Mathematics education Measure (mathematics)Metalanguage Michael D. Morley Minimal axioms for Boolean algebra Model-complete Model-theoretic grammar Model companion Model complete theory Model completion Monadic predicate calculus Monadic second-order logic Mordell-Lang conjecture Mordell–Lang conjecture Morley's categoricity theorem Morley's problem Morley rank Morse–Kelley set theory Multilinear algebra NIP (model theory)NP (complexity)Naive set theory Natural deduction Negation New Foundations New York City Non-Euclidean geometry Non-logical symbol Non-logical symbols Non-standard model Non-standard model of arithmetic Nonstandard analysis Number Number theory Numerical analysis O-minimal theory Oligomorphic group Omega-categorical theory Online machine learning Open formula Open set Operation (mathematics)Operations research Order automorphism Order theory Ordinal analysis Ordinal number Oxford University Press P (complexity)P versus NP problem Paradoxes of set theory Partition of a set Paul Cohen (mathematician)Peano axioms Philosophy of mathematics Polynomial ring Power set Predicate (mathematical logic)Predicate logic Predicate variable Prime ideal Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Probability theory Probably approximately correct learning Proceedings of the National Academy of Sciences of the United States of America Proof of impossibility Proof theory Proposition Propositional calculus Propositional formula Propositional variable Pseudofinite field Quantifier (logic)Quantifier elimination Quantifier rank Quasiminimal excellence Rational numbers Real analysis Real closed field Recreational mathematics Recursion Recursive set Relation (mathematics)Reverse mathematics Robinson arithmetic Rule of inference Russell's paradox Saharon Shelah Satisfiability Saturated model Schröder–Bernstein theorem Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics of logic Semialgebraic sets Sentence (mathematical logic)Sequent calculus Set (mathematics)Set theory Signature (logic)Simon B. Kochen Simple theory Singleton (mathematics)Skolem's paradox Skolem arithmetic Skolem normal form Solomon Feferman Soundness Spectrum of a sentence Spectrum of a theory Springer Science+Business Media Square of opposition Stability spectrum Stable theory Statistics Stone's representation theorem for Boolean algebras Strength (mathematical logic)String (formal languages)Strongly minimal theory Structure (mathematical logic)Substitution (logic)Substructure (mathematics)Successor ordinal Supertask Surjective function Syllogism Symbol (formal)Syntax (logic)Systems science T-schema Table of logic symbols Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tarski–Vaught test Tautology (logic)Taylor and Francis Term (logic)Term logic Theorem Theories of truth Theory (mathematical logic)Theory of computation Thoralf Skolem Three-valued logic Timeline of mathematical logic Timeline of mathematics Topological space Topology Transfer principle Transfinite induction Transitive set True arithmetic Truth predicate Truth table Truth value Turing machine Type (model theory)Type theory U-rank Ultrafilter (set theory)Ultraproduct Ultraproducts Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Universal algebra Universal quantification Universal set Universe (mathematics)University of California, Berkeley Urelement Validity (logic)Variable (mathematics)Venn diagram Von Neumann universe Von Neumann–Bernays–Gödel set theory Well-formed formula Wilfrid Hodges Wolfgang Rautenberg Zariski topology Zermelo–Fraenkel set theory Zero-one law (model theory)Zoé Chatzidakis

150 concepts already in your glossary