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
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).