The Full Wiki

Model theory: Trending topics

Advertisements
  
  

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

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free 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).

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message