Article lists

Output options Results per page:
Start with result #
Primary sort by
Secondary sort by
Note: sorting is done relative to the first project.
Release / review data Filter release / review data
Review status
Release status
Category filter Filter by category
Article category:
Talk category:

 
Result Article Importance Quality Review
Release Shows whether this article has been reviewed as a featured article or good article, and whether the article has been included in a release version of Wikipedia.
Score This number is used to automatically select articles for release versions of Wikipedia.
1 Category theory (t · h · l) Top 2008-11-21 (t B+ 2006-10-25 (t 1641
2 First-order logic (t · h · l) Top 2014-01-22 (t B+ 2009-08-11 (t 1571
3 Gödel's incompleteness theorems (t · h · l) Top 2009-04-03 (t B+ 2009-12-01 (t 1683
4 Mathematical induction (t · h · l) Top 2008-11-21 (t B+ 2007-05-11 (t 1674
5 Mathematical logic (t · h · l) Top 2008-11-21 (t B+ 2010-02-24 (t 1743
6 Axiom of choice (t · h · l) Top 2008-11-21 (t B 2006-10-06 (t 1605
7 Boolean algebra (t · h · l) Top 2014-01-22 (t B 2014-01-22 (t 1317
8 Boolean algebra (logic) (t · h · l) Top 2008-11-21 (t B 2007-08-17 (t 1513
9 Category (mathematics) (t · h · l) Top 2008-11-21 (t B 2007-04-26 (t 1522
10 Computable function (t · h · l) Top 2008-11-21 (t B 2007-05-11 (t 1494
11 Equivalence relation (t · h · l) Top 2008-11-21 (t B 2007-05-15 (t 1637
12 Foundations of mathematics (t · h · l) Top 2008-11-21 (t B 2013-10-29 (t 1548
13 Logic (t · h · l) Top 2009-05-27 (t B 2010-01-25 (t 0.5 1883
14 Propositional calculus (t · h · l) Top 2008-11-22 (t B 2007-08-17 (t 1669
15 Russell's paradox (t · h · l) Top 2008-11-21 (t B 2007-05-20 (t 1602
16 Set (mathematics) (t · h · l) Top 2008-11-21 (t B 2008-09-18 (t 1802
17 Set theory (t · h · l) Top 2008-11-21 (t B 2008-05-14 (t 1794
18 Commutative diagram (t · h · l) Top 2008-11-21 (t C 2013-11-05 (t 1319
19 Conjecture (t · h · l) Top 2008-11-21 (t C 2010-08-01 (t 1511
20 Mathematical proof (t · h · l) Top 2008-11-21 (t C 2013-11-01 (t 1628
21 Constructible universe (t · h · l) High 2008-11-21 (t B+ 2007-05-14 (t 1173
22 Fibred category (t · h · l) High 2008-11-21 (t B+ 2008-02-13 (t 976
23 Turing machine (t · h · l) High 2008-11-21 (t B+ 2007-05-21 (t 1617
24 Adjoint functors (t · h · l) High 2008-11-21 (t B 2007-05-13 (t 1294
25 Cantor's diagonal argument (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1433
26 Cantor's theorem (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1436
27 Cardinal number (t · h · l) High 2008-11-21 (t B 2007-04-16 (t 1567
28 Cardinality of the continuum (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1299
29 Cofinality (t · h · l) High 2008-11-21 (t B 2007-05-14 (t 1183
30 Complete lattice (t · h · l) High 2008-11-21 (t B 2007-05-21 (t 1171
31 Continuum hypothesis (t · h · l) High 2008-11-21 (t B 2007-04-04 (t 1498
32 Epimorphism (t · h · l) High 2008-11-21 (t B 2007-05-21 (t 1282
33 Functor (t · h · l) High 2008-11-21 (t B 2007-05-15 (t 1447
34 Hom functor (t · h · l) High 2008-11-21 (t B 2008-08-09 (t 994
35 Inverse function (t · h · l) High 2008-11-21 (t B 2008-02-21 (t 1530
36 Lattice (order) (t · h · l) High 2008-11-21 (t B 2007-05-18 (t 1458
37 Löwenheim–Skolem theorem (t · h · l) High 2008-11-21 (t B 2007-11-13 (t 1367
38 Morphism (t · h · l) High 2008-11-21 (t B 2007-05-15 (t 1399
39 Ordinal number (t · h · l) High 2008-11-21 (t B 2009-06-06 (t 1550
40 Proof theory (t · h · l) High 2008-11-21 (t B 2006-10-25 (t 1411
41 Structure (mathematical logic) (t · h · l) High 2008-11-21 (t B 2007-11-15 (t 1308
42 Well-order (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1430
43 Axiom (t · h · l) High 2008-11-21 (t C 2013-11-23 (t 1610
44 Bijection (t · h · l) High 2008-11-21 (t C 2014-03-12 (t 1496
45 Cardinality (t · h · l) High 2008-11-21 (t C 2014-03-23 (t 1428
46 Church–Turing thesis (t · h · l) High 2008-11-21 (t C 2014-03-23 (t 1419
47 Complete category (t · h · l) High 2009-05-29 (t C 2010-03-30 (t 899
48 Contraposition (t · h · l) High 2010-01-12 (t C 2014-04-17 (t 1258
49 Countable set (t · h · l) High 2008-11-21 (t C 2014-04-17 (t 1497
50 Determinacy (t · h · l) High 2008-11-21 (t C 2014-04-10 (t 1136
51 Gödel numbering (t · h · l) High 2009-12-16 (t C 2014-03-25 (t 1276
52 Hilbert's second problem (t · h · l) High 2012-12-08 (t C 2012-12-08 (t 1020
53 Intuitionistic logic (t · h · l) High 2008-11-21 (t C 2014-04-10 (t 1305
54 Kleene's recursion theorem (t · h · l) High 2008-11-22 (t C 2014-04-03 (t 1059
55 Naive set theory (t · h · l) High 2008-11-21 (t C 2014-01-17 (t 1273
56 Natural transformation (t · h · l) High 2008-11-21 (t C 2014-03-28 (t 1232
57 Partially ordered set (t · h · l) High 2008-11-21 (t C 2014-03-29 (t 1431
58 Power set (t · h · l) High 2008-11-21 (t C 2014-03-28 (t 1457
59 Topos (t · h · l) High 2008-11-21 (t C 2014-02-25 (t 1273
60 Zermelo–Fraenkel set theory (t · h · l) High 2008-11-21 (t C 2012-09-23 (t 1374
61 Aleph number (t · h · l) High 2008-11-21 (t Start 2007-06-15 (t 1261
62 Cartesian closed category (t · h · l) High 2008-11-21 (t Start 2007-06-16 (t 1036
63 Closure (mathematics) (t · h · l) High 2008-11-21 (t Start 2007-05-28 (t 1271
64 Completeness (logic) (t · h · l) High 2014-04-17 (t Start 2014-04-17 (t 633
65 Descriptive set theory (t · h · l) High 2008-11-22 (t Start 2008-01-23 (t 1075
66 Entscheidungsproblem (t · h · l) High 2010-01-12 (t Start 2010-01-12 (t 1208
67 Equality (mathematics) (t · h · l) High 2008-11-21 (t Start 2007-05-21 (t 1273
68 Equivalence class (t · h · l) High 2008-11-21 (t Start 2007-05-15 (t 1209
69 Finitary relation (t · h · l) High 2009-04-22 (t Start 2009-04-22 (t 1312
70 Formal proof (t · h · l) High 2008-11-21 (t Start 2010-02-24 (t 1028
71 Indicator function (t · h · l) High 2008-11-21 (t Start 2007-05-18 (t 1294
72 Intersection (set theory) (t · h · l) High 2008-11-22 (t Start 2007-05-12 (t 1393
73 Large cardinal (t · h · l) High 2009-12-07 (t Start 2009-12-07 (t 1098
74 Limit ordinal (t · h · l) High 2010-02-23 (t Start 2010-02-23 (t 1068
75 List of Boolean algebra topics (t · h · l) High 2008-11-21 (t Start 2008-04-02 (t 956
76 Logical conjunction (t · h · l) High 2008-11-21 (t Start 2007-05-18 (t 1367
77 Metamathematics (t · h · l) High 2008-11-21 (t Start 2008-02-04 (t 1202
78 Negation (t · h · l) High 2008-11-21 (t Start 2007-05-20 (t 1376
79 Partition of a set (t · h · l) High 2008-11-21 (t Start 2007-02-14 (t 1307
80 Restriction (mathematics) (t · h · l) High 2009-08-18 (t Start 2009-08-18 (t 985
81 Set-builder notation (t · h · l) High 2009-01-11 (t Start 2008-10-09 (t 977
82 Set-theoretic topology (t · h · l) High 2008-11-22 (t Start 2013-11-14 (t 880
83 Subset (t · h · l) High 2009-06-06 (t Start 2009-06-06 (t 1479
84 Transfinite induction (t · h · l) High 2008-11-21 (t Start 2007-05-11 (t 1186
85 Universal property (t · h · l) High 2008-11-21 (t Start 2007-07-10 (t 1081
86 Zorn's lemma (t · h · l) High 2008-11-21 (t Start 2007-06-02 (t 1268
87 List of mathematical logic topics (t · h · l) High 2008-11-21 (t List 2008-05-02 (t 857
88 Completeness (t · h · l) High 2008-11-21 (t Unassessed 2014-04-17 (t 1083
89 Peano axioms (t · h · l) Mid 2008-11-21 (t A 2007-04-10 (t 1474
90 Boolean algebra (structure) (t · h · l) Mid 2008-11-21 (t B+ 2007-07-20 (t 1408
91 Computability theory (t · h · l) Mid 2009-08-22 (t B+ 2010-02-24 (t 1239
92 Method of analytic tableaux (t · h · l) Mid 2008-11-21 (t B+ 2007-10-20 (t 1040
93 Second-order logic (t · h · l) Mid 2008-11-21 (t B+ 2007-05-11 (t 1254
94 Turing degree (t · h · l) Mid 2008-11-21 (t B+ 2007-05-11 (t 1050
95 Abelian category (t · h · l) Mid 2008-11-21 (t B 2007-05-14 (t 1195
96 Analytical hierarchy (t · h · l) Mid 2008-11-21 (t B 2007-05-11 (t 903
97 Arithmetical hierarchy (t · h · l) Mid 2008-11-21 (t B 2007-05-11 (t 1138
98 Axiom schema of replacement (t · h · l) Mid 2008-11-21 (t B 2007-05-14 (t 1144
99 Banach–Tarski paradox (t · h · l) Mid 2008-11-21 (t B 2008-01-06 (t 1310
100 Binary relation (t · h · l) Mid 2008-11-21 (t B 2007-05-21 (t 1427
101 Boolean-valued model (t · h · l) Mid 2010-02-22 (t B 2010-02-21 (t 845
102 Borel hierarchy (t · h · l) Mid 2008-11-22 (t B 2007-05-11 (t 855
103 Busy beaver (t · h · l) Mid 2008-11-21 (t B 2007-12-04 (t 1176
104 Cantor's paradox (t · h · l) Mid 2008-11-21 (t B 2007-05-23 (t 1166
105 Church encoding (t · h · l) Mid 2009-08-22 (t B 2014-04-06 (t 1057
106 Combinatory logic (t · h · l) Mid 2008-11-21 (t B 2007-10-21 (t 1237
107 Concrete category (t · h · l) Mid 2008-11-21 (t B 2008-02-26 (t 1030
108 Decidability (logic) (t · h · l) Mid 2008-11-21 (t B 2008-02-11 (t 1250
109 Exact category (t · h · l) Mid 2008-11-20 (t B 2007-05-16 (t 802
110 Forcing (mathematics) (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 1197
111 Hilbert's tenth problem (t · h · l) Mid 2008-11-21 (t B 2007-12-04 (t 1073
112 Implementation of mathematics in set theory (t · h · l) Mid 2012-07-23 (t B 2009-12-07 (t 766
113 Kolmogorov complexity (t · h · l) Mid 2008-11-21 (t B 2009-12-07 (t 1298
114 Lambda calculus (t · h · l) Mid 2008-11-21 (t B 2007-05-18 (t 1438
115 Large countable ordinal (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 891
116 New Foundations (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 1116
117 Ordinal arithmetic (t · h · l) Mid 2010-02-23 (t B 2010-02-23 (t 1086
118 Paraconsistent logic (t · h · l) Mid 2008-11-21 (t B 2007-10-21 (t 1268
119 Paradoxes of set theory (t · h · l) Mid 2008-11-22 (t B 2007-10-20 (t 856
120 Prenex normal form (t · h · l) Mid 2008-11-21 (t B 2007-05-26 (t 1139
121 Primitive recursive function (t · h · l) Mid 2008-11-21 (t B 2007-12-04 (t 1280
122 Quantum logic (t · h · l) Mid 2010-01-01 (t B 2010-01-01 (t 1220
123 Recursion (t · h · l) Mid 2008-11-21 (t B 2007-05-20 (t 1534
124 Recursion (computer science) (t · h · l) Mid 2010-09-26 (t B 2010-04-18 (t 1280
125 Register machine (t · h · l) Mid 2008-11-21 (t B 2007-10-22 (t 1106
126 Reverse mathematics (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 1068
127 Second-order arithmetic (t · h · l) Mid 2008-11-21 (t B 2007-05-11 (t 934
128 Sequent calculus (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 1156
129 Skolem's paradox (t · h · l) Mid 2008-11-21 (t B 2008-11-11 (t 1056
130 Tarski's undefinability theorem (t · h · l) Mid 2008-11-21 (t B 2007-12-14 (t 1056
131 Total order (t · h · l) Mid 2008-11-21 (t B 2007-05-18 (t 1351
132 Type (model theory) (t · h · l) Mid 2008-11-21 (t B 2007-05-11 (t 874
133 Ultrafilter (t · h · l) Mid 2010-07-18 (t B 2010-07-18 (t 1173
134 Venn diagram (t · h · l) Mid 2008-11-21 (t B 2008-03-07 (t 1457
135 Zermelo set theory (t · h · l) Mid 2008-11-21 (t B 2007-05-11 (t 1015
136 Μ-recursive function (t · h · l) Mid 2008-11-22 (t B 2007-10-20 (t 1164
137 Μ operator (t · h · l) Mid 2008-11-21 (t B 2007-10-20 (t 999
138 Axiom of determinacy (t · h · l) Mid 2008-11-21 (t C 2014-04-04 (t 841
139 Axiomatic system (t · h · l) Mid 2008-11-21 (t C 2014-04-01 (t 1205
140 Cantor–Bernstein–Schroeder theorem (t · h · l) Mid 2008-11-21 (t C 2014-04-04 (t 1157
141 Cartesian product (t · h · l) Mid 2008-11-21 (t C 2014-02-09 (t 1389
142 Categorical logic (t · h · l) Mid 2008-11-20 (t C 2014-04-04 (t 858
143 Constructivism (mathematics) (t · h · l) Mid 2008-11-21 (t C 2014-03-28 (t 1225
144 Curry–Howard correspondence (t · h · l) Mid 2009-01-15 (t C 2010-03-30 (t 1046
145 Direct product (t · h · l) Mid 2008-11-21 (t C 2014-04-04 (t 1129
146 Disjoint sets (t · h · l) Mid 2008-11-21 (t C 2013-12-05 (t 1271
147 Embedding (t · h · l) Mid 2008-11-21 (t C 2014-04-05 (t 1189
148 Empty set (t · h · l) Mid 2008-11-21 (t C 2014-03-28 (t 1412
149 Finite set (t · h · l) Mid 2008-11-21 (t C 2014-04-06 (t 1320
150 Hilbert's paradox of the Grand Hotel (t · h · l) Mid 2008-11-21 (t C 2014-04-02 (t 1181
151 Image (mathematics) (t · h · l) Mid 2009-03-19 (t C 2014-04-01 (t 1226
152 Inverse limit (t · h · l) Mid 2012-07-22 (t C 2012-07-22 (t 1065
153 Kripke semantics (t · h · l) Mid 2008-11-21 (t C 2010-04-18 (t 1047
154 Model theory (t · h · l) Mid 2008-11-21 (t C 2014-04-06 (t 1318
155 Multiset (t · h · l) Mid 2008-11-21 (t C 2014-03-28 (t 1237
156 Natural deduction (t · h · l) Mid 2008-11-21 (t C 2010-04-18 (t 1168
157 Non-measurable set (t · h · l) Mid 2012-07-19 (t C 2012-07-19 (t 964
158 Ordered pair (t · h · l) Mid 2008-11-21 (t C 2014-03-25 (t 1348
159 Prisoner's dilemma (t · h · l) Mid 2008-11-21 (t C 2012-02-03 (t 1405
160 Product (category theory) (t · h · l) Mid 2008-11-21 (t C 2014-02-06 (t 1110
161 Quantification (t · h · l) Mid 2008-11-21 (t C 2010-04-18 (t 1323
162 Recursive languages and sets (t · h · l) Mid 2010-02-21 (t C 2014-02-14 (t 673
163 Tautology (logic) (t · h · l) Mid 2008-11-21 (t C 2013-07-07 (t 1335
164 Type theory (t · h · l) Mid 2008-11-21 (t C 2013-11-24 (t 1263
165 Unification (computer science) (t · h · l) Mid 2010-06-15 (t C 2014-04-07 (t 608
166 Urelement (t · h · l) Mid 2010-07-18 (t C 2010-07-18 (t 996
167 Von Neumann universe (t · h · l) Mid 2008-11-21 (t C 2014-04-08 (t 999
168 Von Neumann–Bernays–Gödel set theory (t · h · l) Mid 2010-02-27 (t C 2014-01-11 (t 1082
169 Absolute presentation of a group (t · h · l) Mid 2008-11-21 (t Start 2007-05-13 (t 617
170 Algebraic logic (t · h · l) Mid 2008-11-21 (t Start 2013-11-24 (t 822
171 Allegory (category theory) (t · h · l) Mid 2008-12-26 (t Start 2009-12-06 (t 703
172 Analytic set (t · h · l) Mid 2008-11-21 (t Start 2008-01-23 (t 727
173 Arbitrary-precision arithmetic (t · h · l) Mid 2008-11-21 (t Start 2007-06-15 (t 1087
174 Arithmetical set (t · h · l) Mid 2008-11-21 (t Start 2007-06-15 (t 674
175 Atomic sentence (t · h · l) Mid 2008-11-21 (t Start 2008-02-05 (t 803
176 Automorphism (t · h · l) Mid 2008-11-21 (t Start 2007-05-13 (t 1173
177 Axiom of countable choice (t · h · l) Mid 2008-11-21 (t Start 2013-12-02 (t 793
178 Axiom of extensionality (t · h · l) Mid 2008-11-21 (t Start 2007-05-21 (t 1034
179 Axiom of limitation of size (t · h · l) Mid 2010-02-22 (t Start 2013-12-02 (t 778
180 Axiom of power set (t · h · l) Mid 2008-11-21 (t Start 2007-05-14 (t 986
181 Baire category theorem (t · h · l) Mid 2008-11-21 (t Start 2007-05-14 (t 1056
182 Baire space (set theory) (t · h · l) Mid 2008-11-21 (t Start 2007-05-23 (t 853
183 Banach–Mazur game (t · h · l) Mid 2008-11-21 (t Start 2007-05-21 (t 689
184 Boolean-valued function (t · h · l) Mid 2008-11-21 (t Start 2007-05-23 (t 918
185 Borel set (t · h · l) Mid 2009-03-29 (t Start 2009-03-29 (t 1150
186 Bounded quantifier (t · h · l) Mid 2008-11-20 (t Start 2007-06-15 (t 683
187 Cardinal characteristic of the continuum (t · h · l) Mid 2011-12-05 (t Start 2011-12-05 (t 533
188 Category of relations (t · h · l) Mid 2013-11-27 (t Start 2013-11-27 (t 695
189 Category of sets (t · h · l) Mid 2008-11-21 (t Start 2007-05-11 (t 976
190 Class (set theory) (t · h · l) Mid 2008-11-21 (t Start 2010-02-24 (t 1199
191 Closed monoidal category (t · h · l) Mid 2008-11-20 (t Start 2012-08-23 (t 700
192 Compactness theorem (t · h · l) Mid 2008-11-21 (t Start 2007-05-11 (t 1052
193 Complete Boolean algebra (t · h · l) Mid 2008-11-21 (t Start 2013-12-03 (t 729
194 Composition of relations (t · h · l) Mid 2010-01-06 (t Start 2010-01-06 (t 845
195 Computable number (t · h · l) Mid 2008-11-21 (t Start 2007-05-15 (t 986
196 Consistency (t · h · l) Mid 2008-11-21 (t Start 2008-05-01 (t 1167
197 Constructive analysis (t · h · l) Mid 2010-02-25 (t Start 2010-02-25 (t 817
198 Constructive proof (t · h · l) Mid 2010-01-06 (t Start 2010-01-06 (t 978
199 Contradiction (t · h · l) Mid 2008-11-21 (t Start 2013-05-14 (t 1250
200 Craig interpolation (t · h · l) Mid 2009-09-30 (t Start 2009-09-30 (t 814
201 Cut-elimination theorem (t · h · l) Mid 2008-11-21 (t Start 2013-12-02 (t 878
202 Dagger category (t · h · l) Mid 2012-08-23 (t Start 2012-08-23 (t 696
203 De Morgan's laws (t · h · l) Mid 2008-11-21 (t Start 2007-06-01 (t 1230
204 Deduction theorem (t · h · l) Mid 2008-11-21 (t Start 2007-06-01 (t 961
205 Definable set (t · h · l) Mid 2008-11-22 (t Start 2007-06-01 (t 683
206 Derived functor (t · h · l) Mid 2008-11-21 (t Start 2007-06-03 (t 904
207 Descent (mathematics) (t · h · l) Mid 2008-11-21 (t Start 2013-11-25 (t 533
208 Diagram (category theory) (t · h · l) Mid 2008-11-22 (t Start 2012-08-13 (t 820
209 Direct limit (t · h · l) Mid 2008-11-22 (t Start 2007-06-10 (t 873
210 Directed set (t · h · l) Mid 2008-11-21 (t Start 2007-05-21 (t 1026
211 Disjoint union (t · h · l) Mid 2008-11-20 (t Start 2013-12-04 (t 1068
212 Dual (category theory) (t · h · l) Mid 2008-11-21 (t Start 2007-06-10 (t 874
213 Element (mathematics) (t · h · l) Mid 2008-11-21 (t Start 2013-11-25 (t 1193
214 Elementary class (t · h · l) Mid 2008-11-21 (t Start 2007-12-04 (t 706
215 Enumeration (t · h · l) Mid 2010-02-22 (t Start 2010-02-22 (t 1090
216 Equational logic (t · h · l) Mid 2014-01-18 (t Start 2014-01-18 (t 533
217 Equiconsistency (t · h · l) Mid 2010-02-01 (t Start 2010-02-01 (t 728
218 Existential quantification (t · h · l) Mid 2010-02-22 (t Start 2010-02-22 (t 1162
219 Expression (mathematics) (t · h · l) Mid 2008-11-21 (t Start 2013-11-25 (t 1167
220 Family of sets (t · h · l) Mid 2014-01-15 (t Start 2014-01-15 (t 914
221 Finite model theory (t · h · l) Mid 2008-11-21 (t Start 2007-11-13 (t 789
222 Finitism (t · h · l) Mid 2010-02-25 (t Start 2010-02-25 (t 1064
223 Forgetful functor (t · h · l) Mid 2012-07-27 (t Start 2012-07-27 (t 769
224 Formal system (t · h · l) Mid 2008-11-21 (t Start 2008-05-09 (t 1185
225 Free variables and bound variables (t · h · l) Mid 2008-11-21 (t Start 2013-12-01 (t 1061
226 Frege's propositional calculus (t · h · l) Mid 2008-11-21 (t Start 2007-10-20 (t 765
227 Gentzen's consistency proof (t · h · l) Mid 2010-07-18 (t Start 2010-07-18 (t 713
228 Grothendieck topology (t · h · l) Mid 2008-11-21 (t Start 2007-12-04 (t 954
229 Gödel's completeness theorem (t · h · l) Mid 2008-11-21 (t Start 2007-05-11 (t 1144
230 Higher-order logic (t · h · l) Mid 2010-02-09 (t Start 2013-12-22 (t 971
231 Hilbert's program (t · h · l) Mid 2010-02-21 (t Start 2010-02-21 (t 1048
232 Hilbert system (t · h · l) Mid 2010-02-25 (t Start 2010-02-25 (t 926
233 Homotopy type theory (t · h · l) Mid 2013-09-21 (t Start 2013-12-27 (t 533
234 Horn clause (t · h · l) Mid 2013-11-23 (t Start 2010-02-24 (t 1072
235 Hypercomputation (t · h · l) Mid 2010-04-18 (t Start 2010-04-18 (t 939
236 If and only if (t · h · l) Mid 2008-11-21 (t Start 2007-05-15 (t 1322
237 Independence (mathematical logic) (t · h · l) Mid 2008-11-21 (t Start 2010-02-21 (t 993
238 Infinitary combinatorics (t · h · l) Mid 2009-12-31 (t Start 2010-02-21 (t 747
239 Infinitary logic (t · h · l) Mid 2010-02-09 (t Start 2010-02-09 (t 740
240 Infinite set (t · h · l) Mid 2010-02-10 (t Start 2013-12-01 (t 1139
241 Informal logic (t · h · l) Mid 2008-11-21 (t Start 2007-08-17 (t 1106
242 Initial and terminal objects (t · h · l) Mid 2008-11-22 (t Start 2013-12-01 (t 1018
243 Injective function (t · h · l) Mid 2008-11-21 (t Start 2007-05-18 (t 1303
244 Injective object (t · h · l) Mid 2008-12-24 (t Start 2008-12-24 (t 786
245 Inner model (t · h · l) Mid 2010-02-22 (t Start 2010-02-22 (t 744
246 Inner model theory (t · h · l) Mid 2008-11-22 (t Start 2007-12-19 (t 652
247 Interpretation (logic) (t · h · l) Mid 2008-11-21 (t Start 2008-05-11 (t 1017
248 Intuitionism (t · h · l) Mid 2008-11-21 (t Start 2006-10-25 (t 1163
249 Intuitionistic type theory (t · h · l) Mid 2010-02-25 (t Start 2010-02-25 (t 843
250 Kan extension (t · h · l) Mid 2008-11-22 (t Start 2007-06-14 (t 685
Next 250 entries