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 Constructible universe (t · h · l) High 2008-11-21 (t B+ 2007-05-14 (t 1173
2 Fibred category (t · h · l) High 2008-11-21 (t B+ 2008-02-13 (t 976
3 Turing machine (t · h · l) High 2008-11-21 (t B+ 2007-05-21 (t 1617
4 Adjoint functors (t · h · l) High 2008-11-21 (t B 2007-05-13 (t 1294
5 Cantor's diagonal argument (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1433
6 Cantor's theorem (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1436
7 Cardinal number (t · h · l) High 2008-11-21 (t B 2007-04-16 (t 1567
8 Cardinality of the continuum (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1299
9 Cofinality (t · h · l) High 2008-11-21 (t B 2007-05-14 (t 1183
10 Complete lattice (t · h · l) High 2008-11-21 (t B 2007-05-21 (t 1171
11 Continuum hypothesis (t · h · l) High 2008-11-21 (t B 2007-04-04 (t 1498
12 Epimorphism (t · h · l) High 2008-11-21 (t B 2007-05-21 (t 1282
13 Functor (t · h · l) High 2008-11-21 (t B 2007-05-15 (t 1447
14 Hom functor (t · h · l) High 2008-11-21 (t B 2008-08-09 (t 994
15 Inverse function (t · h · l) High 2008-11-21 (t B 2008-02-21 (t 1530
16 Lattice (order) (t · h · l) High 2008-11-21 (t B 2007-05-18 (t 1458
17 Löwenheim–Skolem theorem (t · h · l) High 2008-11-21 (t B 2007-11-13 (t 1367
18 Morphism (t · h · l) High 2008-11-21 (t B 2007-05-15 (t 1399
19 Ordinal number (t · h · l) High 2008-11-21 (t B 2009-06-06 (t 1550
20 Proof theory (t · h · l) High 2008-11-21 (t B 2006-10-25 (t 1411
21 Structure (mathematical logic) (t · h · l) High 2008-11-21 (t B 2007-11-15 (t 1308
22 Well-order (t · h · l) High 2008-11-21 (t B 2007-05-11 (t 1430
23 Axiom (t · h · l) High 2008-11-21 (t C 2013-11-23 (t 1610
24 Bijection (t · h · l) High 2008-11-21 (t C 2014-03-12 (t 1496
25 Cardinality (t · h · l) High 2008-11-21 (t C 2014-03-23 (t 1428
26 Church–Turing thesis (t · h · l) High 2008-11-21 (t C 2014-03-23 (t 1419
27 Complete category (t · h · l) High 2009-05-29 (t C 2010-03-30 (t 899
28 Contraposition (t · h · l) High 2010-01-12 (t C 2014-04-17 (t 1258
29 Countable set (t · h · l) High 2008-11-21 (t C 2014-04-17 (t 1497
30 Determinacy (t · h · l) High 2008-11-21 (t C 2014-04-10 (t 1136
31 Gödel numbering (t · h · l) High 2009-12-16 (t C 2014-03-25 (t 1276
32 Hilbert's second problem (t · h · l) High 2012-12-08 (t C 2012-12-08 (t 1020
33 Intuitionistic logic (t · h · l) High 2008-11-21 (t C 2014-04-10 (t 1305
34 Kleene's recursion theorem (t · h · l) High 2008-11-22 (t C 2014-04-03 (t 1059
35 Naive set theory (t · h · l) High 2008-11-21 (t C 2014-01-17 (t 1273
36 Natural transformation (t · h · l) High 2008-11-21 (t C 2014-03-28 (t 1232
37 Partially ordered set (t · h · l) High 2008-11-21 (t C 2014-03-29 (t 1431
38 Power set (t · h · l) High 2008-11-21 (t C 2014-03-28 (t 1457
39 Topos (t · h · l) High 2008-11-21 (t C 2014-02-25 (t 1273
40 Zermelo–Fraenkel set theory (t · h · l) High 2008-11-21 (t C 2012-09-23 (t 1374
41 Aleph number (t · h · l) High 2008-11-21 (t Start 2007-06-15 (t 1261
42 Cartesian closed category (t · h · l) High 2008-11-21 (t Start 2007-06-16 (t 1036
43 Closure (mathematics) (t · h · l) High 2008-11-21 (t Start 2007-05-28 (t 1271
44 Completeness (logic) (t · h · l) High 2014-04-17 (t Start 2014-04-17 (t 633
45 Descriptive set theory (t · h · l) High 2008-11-22 (t Start 2008-01-23 (t 1075
46 Entscheidungsproblem (t · h · l) High 2010-01-12 (t Start 2010-01-12 (t 1208
47 Equality (mathematics) (t · h · l) High 2008-11-21 (t Start 2007-05-21 (t 1273
48 Equivalence class (t · h · l) High 2008-11-21 (t Start 2007-05-15 (t 1209
49 Finitary relation (t · h · l) High 2009-04-22 (t Start 2009-04-22 (t 1312
50 Formal proof (t · h · l) High 2008-11-21 (t Start 2010-02-24 (t 1028
51 Indicator function (t · h · l) High 2008-11-21 (t Start 2007-05-18 (t 1294
52 Intersection (set theory) (t · h · l) High 2008-11-22 (t Start 2007-05-12 (t 1393
53 Large cardinal (t · h · l) High 2009-12-07 (t Start 2009-12-07 (t 1098
54 Limit ordinal (t · h · l) High 2010-02-23 (t Start 2010-02-23 (t 1068
55 List of Boolean algebra topics (t · h · l) High 2008-11-21 (t Start 2008-04-02 (t 956
56 Logical conjunction (t · h · l) High 2008-11-21 (t Start 2007-05-18 (t 1367
57 Metamathematics (t · h · l) High 2008-11-21 (t Start 2008-02-04 (t 1202
58 Negation (t · h · l) High 2008-11-21 (t Start 2007-05-20 (t 1376
59 Partition of a set (t · h · l) High 2008-11-21 (t Start 2007-02-14 (t 1307
60 Restriction (mathematics) (t · h · l) High 2009-08-18 (t Start 2009-08-18 (t 985
61 Set-builder notation (t · h · l) High 2009-01-11 (t Start 2008-10-09 (t 977
62 Set-theoretic topology (t · h · l) High 2008-11-22 (t Start 2013-11-14 (t 880
63 Subset (t · h · l) High 2009-06-06 (t Start 2009-06-06 (t 1479
64 Transfinite induction (t · h · l) High 2008-11-21 (t Start 2007-05-11 (t 1186
65 Universal property (t · h · l) High 2008-11-21 (t Start 2007-07-10 (t 1081
66 Zorn's lemma (t · h · l) High 2008-11-21 (t Start 2007-06-02 (t 1268
67 List of mathematical logic topics (t · h · l) High 2008-11-21 (t List 2008-05-02 (t 857
68 Completeness (t · h · l) High 2008-11-21 (t Unassessed 2014-04-17 (t 1083