# Model theory: Trending topics

The following are the current most viewed articles on Wikipedia within Wikipedia's Model theory category. Think of it as a What's Hot list for Model theory. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 First-order logic 2,038 2 Gödel's incompleteness theorems 1,949 3 Model theory 483 4 Soundness 446 5 Embedding 385 6 Gödel's completeness theorem 319 7 Löwenheim–Skolem theorem 262 8 Interpretation (logic) 180 9 Undecidable problem 178 10 Kripke semantics 168 11 Structure (mathematical logic) 152 12 Theory (mathematical logic) 117 13 Compactness theorem 107 14 Substructure 99 15 Presburger arithmetic 96 16 Signature (logic) 95 17 Satisfiability 92 18 Skolem normal form 69 19 Functional predicate 56 20 Ultraproduct 53 21 Skolem's paradox 52 22 Non-standard model 44 23 Saturated model 43 24 Elementary equivalence 42 25 Interpretation (model theory) 42 26 Quantifier elimination 40 27 Complete theory 39 28 True arithmetic 37 29 Back-and-forth method 31 30 Conservative extension 27 31 Valuation (logic) 27 32 Ehrenfeucht–Fraïssé game 26 33 Atomic model (mathematical logic) 26 34 Hrushovski construction 24 35 Omega-categorical theory 24 36 Non-standard model of arithmetic 23 37 Type (model theory) 22 38 Prime model 21 39 Ax–Grothendieck theorem 21 40 Original proof of Gödel's completeness theorem 20 41 Elementary class 20 42 Definable set 20 43 Institution (computer science) 19 44 Spectrum of a theory 18 45 Indiscernibles 18 46 Exponential field 17 47 Morley's categoricity theorem 16 48 Age (model theory) 16 49 Stable group 16 50 Boolean-valued model 15 51 Potential isomorphism 15 52 Stable theory 15 53 Differentially closed field 15 54 Reduct 14 55 Institutional model theory 13 56 O-minimal theory 13 57 Strength (mathematical logic) 13 58 Wilkie's theorem 13 59 Imaginary element 13 60 Ax–Kochen theorem 13 61 Strongly minimal theory 12 62 Morley rank 11 63 Tennenbaum's theorem 11 64 General frame 10 65 Tarski's exponential function problem 9 66 Existentially closed model 9 67 C-minimal theory 9 68 Amalgamation property 8 69 Pseudoelementary class 8 70 Elementary diagram 8 71 NIP (model theory) 8 72 Computable model theory 7 73 Forking extension 7 74 Chang's conjecture 7 75 Zariski geometry 6 76 Tame group less than 5 views
77 Pregeometry (model theory) less than 5 views
78 Vaught conjecture less than 5 views
79 Ehrenfeucht–Mostowski theorem less than 5 views
80 Stability spectrum less than 5 views
81 Weakly o-minimal structure less than 5 views
82 Model complete theory less than 5 views
83 First-order theories less than 5 views
84 Joint embedding property less than 5 views
85 Decidable sublanguages of set theory less than 5 views
86 Abstract elementary class less than 5 views

# Encyclopedia

The main article for this category is Model theory.

In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs or even models of set theory using tools from mathematical logic. Model theory has close ties to algebra and universal algebra.

## Subcategories

This category has the following 5 subcategories, out of 5 total.

## Pages in category "Model theory"

The following 84 pages are in this category, out of 84 total. This list may not reflect recent changes (learn more).