User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 01:31, 18 November 2017 (diff | hist) . . (+15) . . Constructible universe
- 15:30, 11 November 2017 (diff | hist) . . (+2) . . Projective (→Projective determinacy from large cardinals)
- 15:28, 11 November 2017 (diff | hist) . . (+291) . . Projective
- 15:22, 11 November 2017 (diff | hist) . . (+4) . . Huge
- 15:21, 11 November 2017 (diff | hist) . . (+313) . . Huge (→Ultrafilter definition)
- 15:13, 11 November 2017 (diff | hist) . . (0) . . Huge (→Ultrafilter definition)
- 15:12, 11 November 2017 (diff | hist) . . (+1) . . Huge (→Ultrafilter definition)
- 15:11, 11 November 2017 (diff | hist) . . (+53) . . Huge (→Ultrafilter definition)
- 14:57, 11 November 2017 (diff | hist) . . (+30) . . Filter (→Measures)
- 14:56, 11 November 2017 (diff | hist) . . (+36) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 14:52, 11 November 2017 (diff | hist) . . (+4) . . Filter (→Normal fine measures and large cardinals)
- 14:43, 11 November 2017 (diff | hist) . . (-1) . . Filter (→Normal fine measures and large cardinals)
- 14:42, 11 November 2017 (diff | hist) . . (+20) . . N Ideal (Redirected page to Filter) (current)
- 14:36, 11 November 2017 (diff | hist) . . (+22) . . Huge
- 14:35, 11 November 2017 (diff | hist) . . (+276) . . Ultrapower
- 14:31, 11 November 2017 (diff | hist) . . (+94) . . Measurable
- 14:28, 11 November 2017 (diff | hist) . . (+85) . . ORD is Mahlo
- 14:27, 11 November 2017 (diff | hist) . . (+183) . . Second-order
- 14:24, 11 November 2017 (diff | hist) . . (+134) . . Positive set theory
- 14:22, 11 November 2017 (diff | hist) . . (+63) . . Wholeness axioms
- 14:20, 11 November 2017 (diff | hist) . . (+35) . . L of V lambda+1
- 14:19, 11 November 2017 (diff | hist) . . (+198) . . Rank into rank (Undo revision 2052 by Wabb2t (talk))
- 14:16, 11 November 2017 (diff | hist) . . (-159) . . m Zero sharp
- 14:14, 11 November 2017 (diff | hist) . . (+190) . . Zero sharp
- 14:10, 11 November 2017 (diff | hist) . . (+123) . . Upper attic
- 14:08, 11 November 2017 (diff | hist) . . (+241) . . Woodin
- 14:01, 11 November 2017 (diff | hist) . . (+61) . . Kunen inconsistency
- 13:59, 11 November 2017 (diff | hist) . . (+215) . . Con ZFC
- 13:57, 11 November 2017 (diff | hist) . . (+8) . . Worldly
- 13:57, 11 November 2017 (diff | hist) . . (+343) . . Transitive ZFC model
- 13:52, 11 November 2017 (diff | hist) . . (+21) . . Axiom of determinacy
- 13:51, 11 November 2017 (diff | hist) . . (+1,043) . . Axiom of determinacy
- 13:02, 11 November 2017 (diff | hist) . . (-8) . . Projective (→Projective determinacy)
- 13:01, 11 November 2017 (diff | hist) . . (-8) . . Projective
- 12:59, 11 November 2017 (diff | hist) . . (+4) . . Projective (→Projective determinacy from large cardinals)
- 12:58, 11 November 2017 (diff | hist) . . (-14) . . Projective
- 12:55, 11 November 2017 (diff | hist) . . (-69) . . Axiom of determinacy
- 12:40, 11 November 2017 (diff | hist) . . (-12) . . Positive set theory
- 12:38, 11 November 2017 (diff | hist) . . (+5) . . High-jump
- 12:37, 11 November 2017 (diff | hist) . . (-2) . . Tree property
- 12:37, 11 November 2017 (diff | hist) . . (-9) . . HOD
- 12:36, 11 November 2017 (diff | hist) . . (-11) . . L of V lambda+1
- 12:36, 11 November 2017 (diff | hist) . . (+1) . . Supercompact
- 12:34, 11 November 2017 (diff | hist) . . (-6) . . Zero sharp
- 12:33, 11 November 2017 (diff | hist) . . (-30) . . Rank into rank
- 12:07, 11 November 2017 (diff | hist) . . (-2) . . Huge
- 12:06, 11 November 2017 (diff | hist) . . (-28) . . Wholeness axioms
- 12:05, 11 November 2017 (diff | hist) . . (-6) . . Weakly compact
- 12:04, 11 November 2017 (diff | hist) . . (-92) . . Measurable
- 12:01, 11 November 2017 (diff | hist) . . (-13) . . Woodin
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)