OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Model theory
Index
Mathematics
Fields of mathematics
Applied mathematics
Mathematical modeling
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Model theorists
Model theory
Nonstandard analysis
Model theory
Abstract elementary class
Model theory
Abstract model theory
Model theory
Amalgamation property
Model theory
Atomic model (mathematical logic)
Model theory
Ax–Kochen theorem
Model theory
Back-and-forth method
Model theory
Beth definability
Model theory
Boolean-valued model
Model theory
Büchi arithmetic
Model theory
C-minimal theory
Model theory
Cantor's isomorphism theorem
Model theory
Categorical theory
Model theory
Chang's conjecture
Model theory
Compactness theorem
Model theory
Complete theory
Model theory
Completeness (logic)
Model theory
Computable model theory
Model theory
Conservative extension
Model theory
Decidable sublanguages of set theory
Model theory
Definable set
Model theory
Diagram (mathematical logic)
Model theory
Differentially closed field
Model theory
Ehrenfeucht–Fraïssé game
Model theory
Ehrenfeucht–Mostowski theorem
Model theory
Elementary class
Model theory
Elementary diagram
Model theory
Elementary equivalence
Model theory
End extension
Model theory
Equisatisfiability
Model theory
Existentially closed model
Model theory
Extender (set theory)
Model theory
Feferman–Vaught theorem
Model theory
Finite model theory
Model theory
First-order logic
Model theory
Forking extension
Model theory
Fraïssé limit
Model theory
Functional predicate
Model theory
General frame
Model theory
Gödel's completeness theorem
Model theory
Gödel's incompleteness theorems
Model theory
Hereditary property
Model theory
Hrushovski construction
Model theory
Imaginary element
Model theory
Indiscernibles
Model theory
Institution (computer science)
Model theory
Institutional model theory
Model theory
Interpretation (logic)
Model theory
Interpretation (model theory)
Model theory
Joint embedding property
Model theory
Kripke semantics
Model theory
List of first-order theories
Model theory
Löwenheim number
Model theory
Löwenheim–Skolem theorem
Model theory
Model-theoretic grammar
Model theory
Model complete theory
Model theory
Morley rank
Model theory
NIP (model theory)
Model theory
Non-standard model
Model theory
Non-standard model of arithmetic
Model theory
O-minimal theory
Model theory
Omega-categorical theory
Model theory
Original proof of Gödel's completeness theorem
Model theory
Potential isomorphism
Model theory
Pregeometry (model theory)
Model theory
Presburger arithmetic
Model theory
Prime model
Model theory
Pseudoelementary class
Model theory
Quantifier elimination
Model theory
Quantifier rank
Model theory
Real closed ring
Model theory
Reduced product
Model theory
Satisfiability
Model theory
Saturated model
Model theory
Semantics of logic
Model theory
Signature (logic)
Model theory
Skolem's paradox
Model theory
Skolem normal form
Model theory
Soundness
Model theory
Spectrum of a theory
Model theory
Stability spectrum
Model theory
Stable group
Model theory
Stable theory
Model theory
Standard model (set theory)
Model theory
Strength (mathematical logic)
Model theory
Strongly minimal theory
Model theory
Structural Ramsey theory
Model theory
Structure (mathematical logic)
Model theory
Substructure (mathematics)
Model theory
Tame abstract elementary class
Model theory
Tame group
Model theory
Tarski's exponential function problem
Model theory
Tennenbaum's theorem
Model theory
Transfer principle
Model theory
True arithmetic
Model theory
Two-variable logic
Model theory
Type (model theory)
Model theory
U-rank
Model theory
Ultraproduct
Model theory
Valuation (logic)
Model theory
Vaught conjecture
Model theory
Weakly o-minimal structure
Model theory
Wilkie's theorem
Model theory
Zariski geometry
Model theory
Ziegler spectrum
Model theory
Łoś–Tarski preservation theorem
Model theory
Łoś–Vaught test
Model theory
Model theorists
0
0
0
Model theory
Nonstandard analysis
0
0
0
Model theory
Abstract elementary class
0
0
0
Model theory
Abstract model theory
0
0
0
Model theory
Amalgamation property
0
0
0
Model theory
Atomic model (mathematical logic)
0
0
0
Model theory
Ax–Kochen theorem
0
0
0
Model theory
Back-and-forth method
0
0
0
Model theory
Beth definability
0
0
0
Model theory
Boolean-valued model
0
0
0
Model theory
Büchi arithmetic
0
0
0
Model theory
C-minimal theory
0
0
0
Model theory
Cantor's isomorphism theorem
0
0
0
Model theory
Categorical theory
0
0
0
Model theory
Chang's conjecture
0
0
0
Model theory
Compactness theorem
0
0
0
Model theory
Complete theory
0
0
0
Model theory
Completeness (logic)
0
0
0
Model theory
Computable model theory
0
0
0
Model theory
Conservative extension
0
0
0
Model theory
Decidable sublanguages of set theory
0
0
0
Model theory
Definable set
0
0
0
Model theory
Diagram (mathematical logic)
0
0
0
Model theory
Differentially closed field
0
0
0
Model theory
Ehrenfeucht–Fraïssé game
0
0
0
Model theory
Ehrenfeucht–Mostowski theorem
0
0
0
Model theory
Elementary class
0
0
0
Model theory
Elementary diagram
0
0
0
Model theory
Elementary equivalence
0
0
0
Model theory
End extension
0
0
0
Model theory
Equisatisfiability
0
0
0
Model theory
Existentially closed model
0
0
0
Model theory
Extender (set theory)
0
0
0
Model theory
Feferman–Vaught theorem
0
0
0
Model theory
Finite model theory
0
0
0
Model theory
First-order logic
0
1
0
Model theory
Forking extension
0
0
0
Model theory
Fraïssé limit
0
0
0
Model theory
Functional predicate
0
0
0
Model theory
General frame
0
0
0
Model theory
Gödel's completeness theorem
0
0
0
Model theory
Gödel's incompleteness theorems
0
0
0
Model theory
Hereditary property
0
0
0
Model theory
Hrushovski construction
0
0
0
Model theory
Imaginary element
0
0
0
Model theory
Indiscernibles
0
0
0
Model theory
Institution (computer science)
0
0
0
Model theory
Institutional model theory
0
0
0
Model theory
Interpretation (logic)
0
0
0
Model theory
Interpretation (model theory)
0
0
0
Model theory
Joint embedding property
0
0
0
Model theory
Kripke semantics
0
0
0
Model theory
List of first-order theories
0
0
0
Model theory
Löwenheim number
0
0
0
Model theory
Löwenheim–Skolem theorem
0
0
0
Model theory
Model-theoretic grammar
0
0
0
Model theory
Model complete theory
0
0
0
Model theory
Morley rank
0
0
0
Model theory
NIP (model theory)
0
0
0
Model theory
Non-standard model
0
0
0
Model theory
Non-standard model of arithmetic
0
0
0
Model theory
O-minimal theory
0
0
0
Model theory
Omega-categorical theory
0
0
0
Model theory
Original proof of Gödel's completeness theorem
0
0
0
Model theory
Potential isomorphism
0
0
0
Model theory
Pregeometry (model theory)
0
0
0
Model theory
Presburger arithmetic
0
0
0
Model theory
Prime model
0
0
0
Model theory
Pseudoelementary class
0
0
0
Model theory
Quantifier elimination
0
0
0
Model theory
Quantifier rank
0
0
0
Model theory
Real closed ring
0
0
0
Model theory
Reduced product
0
0
0
Model theory
Satisfiability
0
0
0
Model theory
Saturated model
0
0
0
Model theory
Semantics of logic
0
0
0
Model theory
Signature (logic)
0
0
0
Model theory
Skolem's paradox
0
0
0
Model theory
Skolem normal form
0
0
0
Model theory
Soundness
0
0
0
Model theory
Spectrum of a theory
0
0
0
Model theory
Stability spectrum
0
0
0
Model theory
Stable group
0
0
0
Model theory
Stable theory
0
0
0
Model theory
Standard model (set theory)
0
0
0
Model theory
Strength (mathematical logic)
0
0
0
Model theory
Strongly minimal theory
0
0
0
Model theory
Structural Ramsey theory
0
0
0
Model theory
Structure (mathematical logic)
0
0
0
Model theory
Substructure (mathematics)
0
0
0
Model theory
Tame abstract elementary class
0
0
0
Model theory
Tame group
0
0
0
Model theory
Tarski's exponential function problem
0
0
0
Model theory
Tennenbaum's theorem
0
0
0
Model theory
Transfer principle
0
0
0
Model theory
True arithmetic
0
0
0
Model theory
Two-variable logic
0
0
0
Model theory
Type (model theory)
0
0
0
Model theory
U-rank
0
0
0
Model theory
Ultraproduct
0
0
0
Model theory
Ancestors
(5)
Mathematical modeling
Applied mathematics
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version
