User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:09, 12 May 2022 (diff | hist) . . (+476) . . Stable (→Variants)
- 22:00, 12 May 2022 (diff | hist) . . (+400) . . Stable
- 05:46, 22 April 2022 (diff | hist) . . (-296) . . Forcing (→Genericity: Undo revision 4084 by BartekChom (talk) now I suspect that it is not a real definition, but something less official)
- 05:45, 22 April 2022 (diff | hist) . . (+177) . . Model (→Solovay model: now I suspect that it is not a real definition, but something less official)
- 13:48, 21 April 2022 (diff | hist) . . (+194) . . Upper attic (this guesses seem to be closer)
- 13:36, 21 April 2022 (diff | hist) . . (+296) . . Forcing (→Genericity: small generic?)
- 04:18, 19 April 2022 (diff | hist) . . (+301) . . Model (→Prime models and minimal models: == Solovay model == definition)
- 22:38, 16 April 2022 (diff | hist) . . (+89) . . Ramsey (→Mahlo–Ramsey cardinals: I am sorry, I should have noted that I have no idea about it.) (current)
- 22:29, 16 April 2022 (diff | hist) . . (-10) . . Upper attic (unfoldable are weaker but equiconsistent)
- 13:04, 9 November 2021 (diff | hist) . . (+8) . . Heights of models (→Beyond the least stable: stable gap!)
- 11:29, 9 November 2021 (diff | hist) . . (+566) . . HOD (→Pointwise definable models: pointwise definable sets) (current)
- 10:58, 9 November 2021 (diff | hist) . . (+709) . . Stable (→Stable: There are stronger properties then stability)
- 10:27, 9 November 2021 (diff | hist) . . (+547) . . Heights of models (about stable gap ordinals)
- 09:26, 9 November 2021 (diff | hist) . . (+358) . . Library (→Library holdings: Marek1974:StableSets)
- 10:32, 20 September 2021 (diff | hist) . . (+1) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: KoeLLner!)
- 10:27, 20 September 2021 (diff | hist) . . (+547) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: equivalence quite explicitly stated ("On the other hand...") and easy to prove from the statement about $\aleph_\omega$)
- 10:02, 20 September 2021 (diff | hist) . . (-21) . . Constructible universe (→Jensen's dichotomy: <cite>Bagaria2017:LargeCardinalsBeyondChoice</cite>)
- 09:49, 20 September 2021 (diff | hist) . . (+499) . . Library (→Library holdings: published article "Large Cardinals beyond Choice")
- 13:49, 16 September 2021 (diff | hist) . . (+27) . . Successor ordinal (Category:Order theory) (current)
- 13:46, 16 September 2021 (diff | hist) . . (+24) . . Hartog number (Category:The cellar) (current)
- 13:43, 16 September 2021 (diff | hist) . . (+27) . . Fundamental sequence (Category:Order theory) (current)
- 13:41, 16 September 2021 (diff | hist) . . (+25) . . Filters on N (→Sequences of real numbers: Category:The cellar) (current)
- 13:40, 16 September 2021 (diff | hist) . . (+64) . . ORD is Mahlo (Category:Large_cardinal_axioms)
- 13:37, 16 September 2021 (diff | hist) . . (+25) . . Filter (→See Also) (current)
- 13:20, 16 September 2021 (diff | hist) . . (+194) . . Upper attic (uncountable cardinal with the tree property)
- 13:12, 16 September 2021 (diff | hist) . . (+36) . . Tree property (→Special Aronszajn trees: Category:Large cardinal axioms) (current)
- 09:35, 16 September 2021 (diff | hist) . . (+121) . . Measurable (→Properties: The least Woodin cardinal is not measurable (and not even weakly compact), but Shelah cardinals are measurable.)
- 09:24, 16 September 2021 (diff | hist) . . (+307) . . Superstrong (→Relation to other large cardinal notions: If κ is superstrong, then it is Shelah and there are κ Shelah cardinals below it.)
- 09:19, 16 September 2021 (diff | hist) . . (+333) . . Woodin (→Shelah cardinals: If κ is Shelah, then it is Woodin cardinal and there are κ Woodin cardinals below it. If κ is superstrong, then it is Shelah and there are κ Shelah cardinals below it.) (current)
- 08:48, 11 September 2021 (diff | hist) . . (+622) . . Axiom of choice (→Statements inconsistent with AC: apparently weakly compact and Ramsey, but not Erdős) (current)
- 07:46, 11 September 2021 (diff | hist) . . (+10) . . m Huge (→Consistency strength and size: hyperhUge, quotes) (current)
- 07:40, 11 September 2021 (diff | hist) . . (+288) . . Huge (→Consistency strength and size: without AC)
- 07:23, 11 September 2021 (diff | hist) . . (+260) . . Supercompact (→Properties: without AC)
- 07:20, 11 September 2021 (diff | hist) . . (+224) . . Strongly compact (→Strongly compact cardinals and forcing: without AC) (current)
- 07:18, 11 September 2021 (diff | hist) . . (+318) . . Measurable (→Properties: without choice)
- 07:13, 11 September 2021 (diff | hist) . . (+99) . . Axiom of choice (→Statements inconsistent with AC: Some sets cannot be well-ordered, and the Hartog number measures how well-ordered they can be.)
- 07:11, 11 September 2021 (diff | hist) . . (+182) . . Axiom of choice (→Statements inconsistent with AC: Dedekind finite cardinals and amorphous sets)
- 07:10, 11 September 2021 (diff | hist) . . (+4) . . Cardinal general (→Dedekind finite sets: Dedekind finite) (current)
- 07:03, 11 September 2021 (diff | hist) . . (+936) . . Axiom of choice (not redirect, useful links)
- 10:14, 10 September 2021 (diff | hist) . . (+358) . . Mahlo (greatly inaccessible This property is equivalent to being Mahlo and analogical to being greatly Mahlo.)
- 10:00, 10 September 2021 (diff | hist) . . (+82) . . Inaccessible (→Hyper-inaccessible and more: could be also called greatly inaccessible) (current)
- 11:22, 3 September 2021 (diff | hist) . . (+1) . . ZFC (→Uncountable transitive models: <cite>)
- 11:21, 3 September 2021 (diff | hist) . . (+1) . . Model (→Prime models and minimal models: <cite>)
- 11:18, 3 September 2021 (diff | hist) . . (+1) . . HOD (→Paris models: ;)
- 11:16, 3 September 2021 (diff | hist) . . (-80) . . HOD (<cite>)
- 11:11, 3 September 2021 (diff | hist) . . (+896) . . Library (→Library holdings: +2, volume)
- 10:38, 3 September 2021 (diff | hist) . . (+243) . . Library (→Library holdings: now abstract somehow can work)
- 10:31, 3 September 2021 (diff | hist) . . (-16) . . Library (editable (but without abstract))
- 22:34, 2 September 2021 (diff | hist) . . (+457) . . ZFC (→Uncountable transitive models: about uncountable transitive models)
- 22:30, 2 September 2021 (diff | hist) . . (0) . . HOD (→Paris models: definable!)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
