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 (∞,1)-category (t · h · l) Low 2012-07-08 (t Stub 2012-07-08 (t 383
2 AD+ (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 537
3 Abstract logic (t · h · l) Low 2010-11-15 (t Stub 2010-11-15 (t 383
4 Abstract model theory (t · h · l) Low 2011-04-12 (t Stub 2011-04-12 (t 383
5 Accessible category (t · h · l) Low 2012-10-31 (t Stub 2012-10-31 (t 478
6 Ackermann coding (t · h · l) Low 2013-12-29 (t Stub 2013-12-29 (t 383
7 Ackermann ordinal (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 548
8 Additively indecomposable ordinal (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 455
9 Adequate pointclass (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 483
10 Adhesive category (t · h · l) Low 2013-11-18 (t Stub 2013-11-18 (t 383
11 Admissible ordinal (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 521
12 Admissible set (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 478
13 Affine logic (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 509
14 Algebraic definition (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 485
15 Algebraic normal form (t · h · l) Low 2008-11-21 (t Stub 2008-01-02 (t 559
16 Algebraic sentence (t · h · l) Low 2009-09-30 (t Stub 2009-09-30 (t 467
17 Algebraic theory (t · h · l) Low 2009-09-30 (t Stub 2009-09-30 (t 503
18 Algorithmic logic (t · h · l) Low 2014-04-04 (t Stub 2014-04-04 (t 383
19 Aronszajn line (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 455
20 Association for Logic, Language and Information (t · h · l) Low 2009-07-31 (t Stub 2009-07-31 (t 531
21 Asymmetric relation (t · h · l) Low 2008-11-20 (t Stub 2007-06-10 (t 814
22 Atomic formula (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 894
23 Autonomous category (t · h · l) Low 2012-08-25 (t Stub 2012-08-25 (t 497
24 Axiom S5 (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 514
25 Axiom of projective determinacy (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 561
26 Axiom of real determinacy (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 491
27 Axiom of reducibility (t · h · l) Low 2008-11-20 (t Stub 2007-06-10 (t 532
28 Axiom schema of predicative separation (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 485
29 BL (logic) (t · h · l) Low 2008-11-21 (t Stub 2008-04-20 (t 513
30 Bachmann–Howard ordinal (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 550
31 Barcan formula (t · h · l) Low 2008-11-22 (t Stub 2008-03-04 (t 501
32 Barwise compactness theorem (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 483
33 Beck's monadicity theorem (t · h · l) Low 2008-11-20 (t Stub 2007-06-10 (t 507
34 Bernays–Schönfinkel class (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 497
35 Beth definability (t · h · l) Low 2008-11-22 (t Stub 2007-12-04 (t 443
36 Bicategory (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 536
37 Blake canonical form (t · h · l) Low 2013-12-29 (t Stub 2013-12-29 (t 383
38 Boolean domain (t · h · l) Low 2008-11-22 (t Stub 2008-04-02 (t 739
39 Boolean expression (t · h · l) Low 2008-11-21 (t Stub 2008-04-02 (t 681
40 Boolean function (t · h · l) Low 2008-11-21 (t Stub 2008-04-02 (t 1005
41 C-minimal theory (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 483
42 Cabal (set theory) (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 506
43 Cantor–Dedekind axiom (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 513
44 Categorical set theory (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 443
45 Categories for the Working Mathematician (t · h · l) Low 2008-11-21 (t Stub 2008-07-23 (t 599
46 Categorification (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 517
47 Category of metric spaces (t · h · l) Low 2014-03-06 (t Stub 2014-03-06 (t 513
48 Category of small categories (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 551
49 Chang's conjecture (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 491
50 Characteristic sequence (t · h · l) Low 2010-07-05 (t Stub 2010-07-05 (t 407
51 Church–Kleene ordinal (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 551
52 Church–Rosser theorem (t · h · l) Low 2008-11-21 (t Stub 2008-04-17 (t 738
53 Classical mathematics (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 528
54 Classical modal logic (t · h · l) Low 2008-11-21 (t Stub 2008-04-17 (t 455
55 Clausal normal form (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 582
56 Clause (logic) (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 803
57 Club filter (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 467
58 Club set (t · h · l) Low 2008-11-20 (t Stub 2007-06-16 (t 567
59 Coanalytic set (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 467
60 Cocountability (t · h · l) Low 2009-08-07 (t Stub 2009-08-07 (t 533
61 Code (set theory) (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 443
62 Coherent space (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 498
63 Complete theory (t · h · l) Low 2008-11-21 (t Stub 2007-11-25 (t 601
64 Completeness of atomic initial sequents (t · h · l) Low 2010-01-06 (t Stub 2010-01-06 (t 446
65 Compression theorem (t · h · l) Low 2010-01-11 (t Stub 2010-01-11 (t 461
66 Computability in Europe (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 491
67 Computability logic (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 577
68 Computable isomorphism (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 458
69 Computable measure theory (t · h · l) Low 2010-02-01 (t Stub 2008-09-01 (t 413
70 Computable real function (t · h · l) Low 2010-01-06 (t Stub 2008-08-31 (t 437
71 Condensation lemma (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 428
72 Conditional quantifier (t · h · l) Low 2008-11-21 (t Stub 2008-04-17 (t 443
73 Connected category (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 485
74 Consensus theorem (t · h · l) Low 2008-11-21 (t Stub 2008-04-02 (t 503
75 Conservativity theorem (t · h · l) Low 2010-02-25 (t Stub 2010-02-25 (t 473
76 Constructive non-standard analysis (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 513
77 Continuous function (set theory) (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 501
78 Continuous predicate (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 496
79 Continuum (set theory) (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 658
80 Continuum function (t · h · l) Low 2010-02-10 (t Stub 2010-02-10 (t 461
81 Cotolerant sequence (t · h · l) Low 2014-02-11 (t Stub 2014-02-11 (t 509
82 Counting quantification (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 473
83 Countryman line (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 443
84 Critical point (set theory) (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 570
85 Cyclic negation (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 461
86 Cylindrification (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 455
87 Dendroidal set (t · h · l) Low 2012-08-19 (t Stub 2012-02-09 (t 383
88 Dependence relation (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 437
89 Dershowitz–Manna ordering (t · h · l) Low 2013-03-01 (t Stub 2013-03-01 (t 383
90 Diagonal functor (t · h · l) Low 2009-03-07 (t Stub 2009-03-07 (t 565
91 Diagonal intersection (t · h · l) Low 2010-02-17 (t Stub 2010-02-17 (t 506
92 Difference hierarchy (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 467
93 Differentially closed field (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 546
94 Dimensional operator (t · h · l) Low 2008-11-21 (t Stub 2008-09-04 (t 407
95 Dinatural transformation (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 428
96 Direct proof (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 714
97 Disjunction and existence properties (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 537
98 Disjunction elimination (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 521
99 Disjunctive normal form (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 920
100 Distributive law between monads (t · h · l) Low 2008-11-21 (t Stub 2007-06-10 (t 461
101 Double recursion (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 478
102 Dual object (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 503
103 Effective Polish space (t · h · l) Low 2010-01-12 (t Stub 2010-01-12 (t 485
104 Effective topos (t · h · l) Low 2013-12-29 (t Stub 2013-12-29 (t 383
105 Elementary definition (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 492
106 Elementary diagram (t · h · l) Low 2010-05-05 (t Stub 2010-05-05 (t 452
107 Elementary function arithmetic (t · h · l) Low 2010-07-17 (t Stub 2010-07-17 (t 383
108 Elementary sentence (t · h · l) Low 2009-09-30 (t Stub 2009-09-30 (t 467
109 Elementary theory (t · h · l) Low 2009-09-30 (t Stub 2009-09-30 (t 477
110 Empty domain (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 502
111 Empty function (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 795
112 End extension (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 455
113 Entitative graph (t · h · l) Low 2010-07-17 (t Stub 2010-07-17 (t 553
114 Epsilon-induction (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 548
115 Erasure (logic) (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 443
116 Erdős cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 529
117 Euclidean relation (t · h · l) Low 2008-11-21 (t Stub 2008-03-18 (t 549
118 European Summer School in Logic, Language and Information (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 522
119 Explicit substitution (t · h · l) Low 2008-11-21 (t Stub 2008-04-14 (t 498
120 Extender (set theory) (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 428
121 Extendible cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 491
122 Extension (predicate logic) (t · h · l) Low 2008-11-21 (t Stub 2008-05-05 (t 565
123 Feferman–Schütte ordinal (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 555
124 Finite character (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 549
125 Finite thickness (t · h · l) Low 2008-11-22 (t Stub 2008-04-18 (t 458
126 First-order predicate (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 485
127 Fitch-style calculus (t · h · l) Low 2008-11-21 (t Stub 2008-04-27 (t 515
128 Fodor's lemma (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 503
129 Free category (t · h · l) Low 2012-08-20 (t Stub 2012-08-20 (t 383
130 Frege system (t · h · l) Low 2010-06-24 (t Stub 2010-06-24 (t 431
131 Frobenius category (t · h · l) Low 2013-11-27 (t Stub 2013-11-27 (t 383
132 Fuzzy set operations (t · h · l) Low 2008-11-21 (t Stub 2007-12-04 (t 673
133 Generality of algebra (t · h · l) Low 2012-08-18 (t Stub 2012-08-18 (t 383
134 Generator (category theory) (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 478
135 Generic filter (t · h · l) Low 2010-02-21 (t Stub 2007-06-10 (t 483
136 Glivenko's theorem (t · h · l) Low 2010-02-25 (t Stub 2010-02-25 (t 502
137 Global square (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 467
138 Grothendieck construction (t · h · l) Low 2013-11-22 (t Stub 2013-11-22 (t 428
139 Ground axiom (t · h · l) Low 2009-11-30 (t Stub 2009-11-30 (t 398
140 Ground expression (t · h · l) Low 2010-05-28 (t Stub 2010-05-28 (t 637
141 Halpern–Läuchli theorem (t · h · l) Low 2010-01-02 (t Stub 2009-11-07 (t 506
142 Hartogs number (t · h · l) Low 2010-02-10 (t Stub 2010-02-10 (t 655
143 Hausdorff maximal principle (t · h · l) Low 2008-11-21 (t Stub 2007-12-04 (t 764
144 Herbrand interpretation (t · h · l) Low 2010-01-06 (t Stub 2008-08-31 (t 525
145 Herbrand structure (t · h · l) Low 2010-02-25 (t Stub 2010-02-25 (t 517
146 Herbrandization (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 517
147 Hereditarily countable set (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 513
148 Heyting field (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 448
149 High (computability) (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 455
150 Higher category theory (t · h · l) Low 2008-11-21 (t Stub 2008-06-19 (t 555
151 Hilbert's 24th problem (t · h · l) Low 2012-08-18 (t Stub 2012-02-06 (t 383
152 Hilbert–Bernays provability conditions (t · h · l) Low 2010-11-19 (t Stub 2010-11-19 (t 383
153 Homogeneous (large cardinal property) (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 502
154 Homogeneous tree (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 428
155 Homogeneously Suslin set (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 446
156 Impredicativity (t · h · l) Low 2008-11-22 (t Stub 2008-03-12 (t 689
157 Indecomposability (t · h · l) Low 2008-11-21 (t Stub 2008-05-27 (t 573
158 Inductive set (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 482
159 Ineffable cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 512
160 Infinite descending chain (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 529
161 Information diagram (t · h · l) Low 2009-12-31 (t Stub 2008-08-31 (t 496
162 Internal category (t · h · l) Low 2012-09-01 (t Stub 2012-09-01 (t 383
163 Internal set (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 522
164 Interpretability (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 568
165 Inverse resolution (t · h · l) Low 2008-11-21 (t Stub 2008-03-05 (t 407
166 Jensen's covering theorem (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 497
167 Joint embedding property (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 446
168 Judgment (mathematical logic) (t · h · l) Low 2008-11-21 (t Stub 2008-01-03 (t 506
169 Jónsson cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 531
170 Jónsson function (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 482
171 Kanamori–McAloon theorem (t · h · l) Low 2013-12-29 (t Stub 2013-12-29 (t 443
172 Kappa calculus (t · h · l) Low 2011-10-29 (t Stub 2011-10-29 (t 383
173 Karoubi envelope (t · h · l) Low 2008-11-22 (t Stub 2007-06-14 (t 516
174 Kleene–Brouwer order (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 455
175 Kunen's inconsistency theorem (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 485
176 Kuratowski's free set theorem (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 495
177 Kurepa tree (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 517
178 Large Veblen ordinal (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 502
179 Laver function (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 446
180 Lightface analytic game (t · h · l) Low 2008-11-21 (t Stub 2007-08-17 (t 483
181 Limited principle of omniscience (t · h · l) Low 2012-10-25 (t Stub 2012-10-25 (t 383
182 Lindström's theorem (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 542
183 Linked set (t · h · l) Low 2012-10-04 (t Stub 2012-08-27 (t 383
184 Literal (mathematical logic) (t · h · l) Low 2008-11-22 (t Stub 2007-12-04 (t 842
185 Locally catenative sequence (t · h · l) Low 2009-06-09 (t Stub 2009-06-09 (t 437
186 Logic for Computable Functions (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 383
187 Logical machine (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 483
188 Low (computability) (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 485
189 Low basis theorem (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 493
190 Lévy hierarchy (t · h · l) Low 2013-12-29 (t Stub 2013-12-29 (t 383
191 Löb's theorem (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 680
192 Martin's maximum (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 513
193 Maximal set (t · h · l) Low 2009-12-31 (t Stub 2008-08-31 (t 501
194 Milner–Rado paradox (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 488
195 Minimal logic (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 510
196 Mouse (set theory) (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 483
197 Natural number object (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 512
198 Negation normal form (t · h · l) Low 2008-11-22 (t Stub 2008-09-04 (t 702
199 Negational normal form (t · h · l) Low 2009-12-31 (t Stub 2009-12-31 (t 437
200 Nice name (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 491
201 Non-logical symbol (t · h · l) Low 2008-11-21 (t Stub 2008-06-02 (t 550
202 Normal function (t · h · l) Low 2010-02-23 (t Stub 2010-02-23 (t 535
203 Normal morphism (t · h · l) Low 2010-01-25 (t Stub 2010-01-25 (t 647
204 Notre Dame Journal of Formal Logic (t · h · l) Low 2013-10-11 (t Stub 2013-10-11 (t 383
205 O-minimal theory (t · h · l) Low 2008-11-21 (t Stub 2008-09-14 (t 556
206 Ogden's lemma (t · h · l) Low 2008-11-21 (t Stub 2008-03-30 (t 737
207 Omega-categorical theory (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 511
208 Ontological maximalism (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 485
209 Ordinal definable set (t · h · l) Low 2008-11-21 (t Stub 2008-05-17 (t 522
210 Ordinal logic (t · h · l) Low 2011-07-14 (t Stub 2011-06-18 (t 383
211 Paraconsistent mathematics (t · h · l) Low 2008-11-21 (t Stub 2007-12-04 (t 483
212 Perfect set property (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 574
213 Polyadic algebra (t · h · l) Low 2010-02-22 (t Stub 2010-02-22 (t 517
214 Preintuitionism (t · h · l) Low 2010-01-25 (t Stub 2010-01-25 (t 508
215 Principle of distributivity (t · h · l) Low 2010-02-09 (t Stub 2008-08-31 (t 505
216 Product type (t · h · l) Low 2013-06-26 (t Stub 2013-06-26 (t 625
217 Projection (set theory) (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 577
218 Proof compression (t · h · l) Low 2012-10-04 (t Stub 2012-03-14 (t 383
219 Pseudo-order (t · h · l) Low 2010-02-25 (t Stub 2010-02-25 (t 437
220 Pumping lemma (t · h · l) Low 2008-11-21 (t Stub 2008-03-30 (t 906
221 Pumping lemma for regular languages (t · h · l) Low 2008-11-22 (t Stub 2008-03-30 (t 794
222 Quantificational variability effect (t · h · l) Low 2009-12-31 (t Stub 2008-08-31 (t 476
223 Ramified forcing (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 437
224 Ramsey cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 540
225 Rank-into-rank (t · h · l) Low 2008-11-21 (t Stub 2007-08-10 (t 522
226 Real computation (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 552
227 Realizability (t · h · l) Low 2010-02-24 (t Stub 2010-10-15 (t 628
228 Recursive ordinal (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 533
229 Reduced product (t · h · l) Low 2010-01-06 (t Stub 2008-08-31 (t 488
230 Reflecting cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 446
231 Reinhardt cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 491
232 Remarkable cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 455
233 Resolution inference (t · h · l) Low 2014-03-07 (t Stub 2014-03-07 (t 383
234 Rice–Shapiro theorem (t · h · l) Low 2010-07-18 (t Stub 2010-07-18 (t 500
235 Richardson's theorem (t · h · l) Low 2008-11-22 (t Stub 2007-12-04 (t 485
236 Robinson's joint consistency theorem (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 488
237 Rowbottom cardinal (t · h · l) Low 2008-11-22 (t Stub 2007-06-10 (t 491
238 Rules of passage (logic) (t · h · l) Low 2008-11-21 (t Stub 2008-01-26 (t 466
239 Sahlqvist formula (t · h · l) Low 2008-11-21 (t Stub 2008-03-04 (t 477
240 Scale (descriptive set theory) (t · h · l) Low 2010-09-13 (t Stub 2010-09-13 (t 517
241 Second-order predicate (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 498
242 Second-order propositional logic (t · h · l) Low 2014-01-12 (t Stub 2014-01-12 (t 492
243 Segal space (t · h · l) Low 2012-07-08 (t Stub 2012-07-08 (t 383
244 Self-verifying theories (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 495
245 Semicomputable function (t · h · l) Low 2010-02-21 (t Stub 2010-02-21 (t 502
246 Semiset (t · h · l) Low 2010-02-27 (t Stub 2010-02-27 (t 567
247 Separating set (t · h · l) Low 2010-05-21 (t Stub 2010-05-21 (t 488
248 Set-theoretic limit (t · h · l) Low 2010-04-18 (t Stub 2010-04-18 (t 482
249 Setoid (t · h · l) Low 2010-02-24 (t Stub 2010-02-24 (t 521
250 Shelah cardinal (t · h · l) Low 2010-02-01 (t Stub 2010-02-01 (t 458
Next 250 entries