Long pages
Showing below up to 50 results in range #1 to #50.
- (hist) List of ordinals [15,328 bytes]
- (hist) Ordinal collapsing function [10,810 bytes]
- (hist) Constructible hierarchy [9,957 bytes]
- (hist) Reflection principle [9,255 bytes]
- (hist) Ordinal [8,427 bytes]
- (hist) Inaccessible cardinal [7,903 bytes]
- (hist) Mahlo cardinal [6,442 bytes]
- (hist) Bashicu matrix system [6,119 bytes]
- (hist) Cardinal arithmetic [5,374 bytes]
- (hist) Large cardinal [4,943 bytes]
- (hist) Second-order arithmetic [4,706 bytes]
- (hist) Filter [4,539 bytes]
- (hist) HOD dichotomy [4,196 bytes]
- (hist) Zero sharp [4,173 bytes]
- (hist) Church-Kleene ordinal [3,972 bytes]
- (hist) Patterns of resemblance [3,866 bytes]
- (hist) Infinite [3,781 bytes]
- (hist) Extender model [3,756 bytes]
- (hist) Gap ordinal [3,668 bytes]
- (hist) Veblen hierarchy [3,584 bytes]
- (hist) Cardinal [3,296 bytes]
- (hist) Buchholz's psi-functions [3,288 bytes]
- (hist) Ordinal definable [2,978 bytes]
- (hist) Axiom of choice [2,965 bytes]
- (hist) Cantor's diagonal argument [2,856 bytes]
- (hist) Supercompact [2,833 bytes]
- (hist) Well-ordered set [2,831 bytes]
- (hist) Axiom of determinacy [2,792 bytes]
- (hist) Taranovsky's ordinal notations [2,780 bytes]
- (hist) Natural numbers [2,752 bytes]
- (hist) Stability [2,642 bytes]
- (hist) ZFC [2,623 bytes]
- (hist) Continuum hypothesis [2,593 bytes]
- (hist) Countability [2,588 bytes]
- (hist) Peano arithmetic [2,552 bytes]
- (hist) Kripke-Platek set theory [2,544 bytes]
- (hist) Infinite time Turing machine [2,498 bytes]
- (hist) Proving well-orderedness [2,495 bytes]
- (hist) Hilbert's Grand Hotel [2,420 bytes]
- (hist) Uniformity [2,306 bytes]
- (hist) Finite [2,306 bytes]
- (hist) Covering property [2,255 bytes]
- (hist) Weakly compact cardinal [2,161 bytes]
- (hist) Sharp [2,135 bytes]
- (hist) Extendible [1,928 bytes]
- (hist) Measurable [1,914 bytes]
- (hist) Absolute infinity [1,878 bytes]
- (hist) Bird ordinal [1,868 bytes]
- (hist) Primitive sequence system [1,733 bytes]
- (hist) Epsilon numbers [1,673 bytes]