User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 05:34, 2 July 2022 (diff | hist) . . (+214) . . Worldly (→Otherworldly cardinals: up to and to $\delta$) (current)
- 05:19, 2 July 2022 (diff | hist) . . (+161) . . Worldly (→Otherworldly cardinals: fully correct in a worldly cardinal; it is otherworldly to arbitrarily large ordinals)
- 11:06, 3 June 2022 (diff | hist) . . (+256) . . Talk:Reflecting ordinal (re)
- 06:52, 29 May 2022 (diff | hist) . . (+447) . . Supercompact (→Laver preparation: in inner models) (current)
- 06:46, 29 May 2022 (diff | hist) . . (+39) . . N Indestructible (Redirected page to Forcing#Indestructibility) (current)
- 06:43, 29 May 2022 (diff | hist) . . (+301) . . Forcing (→Separativity: === Indestructibility ===) (current)
- 06:32, 29 May 2022 (diff | hist) . . (+4) . . Superstrong (→Relation to other large cardinal notions: indestructible) (current)
- 06:31, 29 May 2022 (diff | hist) . . (+4) . . Uplifting (→Weakly superstrong cardinal: indestructible) (current)
- 06:30, 29 May 2022 (diff | hist) . . (+20) . . Tall (→Tall Cardinals: indestructible) (current)
- 06:28, 29 May 2022 (diff | hist) . . (+4) . . Extendible (→$\Sigma_n$-extendible cardinals: indestructible)
- 06:27, 29 May 2022 (diff | hist) . . (+4) . . Reflecting cardinals (→$\Sigma_2$-correct cardinals: indestructible)
- 06:27, 29 May 2022 (diff | hist) . . (+3) . . Weakly measurable (→Weakly measurable cardinals and forcing: indestructible) (current)
- 06:26, 29 May 2022 (diff | hist) . . (+4) . . Unfoldable (→Relation to forcing: indestructible) (current)
- 06:24, 29 May 2022 (diff | hist) . . (+49) . . N Inner model (Redirected page to Model#Class-sized transitive models) (current)
- 06:22, 29 May 2022 (diff | hist) . . (+436) . . Model (→Class-sized transitive models: indestructible supercompact ±GCH) (current)
- 06:05, 29 May 2022 (diff | hist) . . (+532) . . Library (→Library holdings: Inner models with large cardinal features usually obtained by forcing)
- 05:28, 29 May 2022 (diff | hist) . . (+788) . . Unfoldable (== Relation to forcing == From <cite>Hamkins2008:UnfoldableGCH</cite>:)
- 06:38, 15 May 2022 (diff | hist) . . (+1) . . Weakly compact (\implies!) (current)
- 23:07, 14 May 2022 (diff | hist) . . (+466) . . Weakly compact (2-regular)
- 22:32, 14 May 2022 (diff | hist) . . (+728) . . Reflecting ordinal (→Properties: theorem 1.9)
- 13:27, 14 May 2022 (diff | hist) . . (+196) . . Forcing (→Bounded Forcing Axiom: BPFA implies $\mathfrak{c} = \aleph_2$)
- 13:15, 14 May 2022 (diff | hist) . . (+236) . . Axioms of generic absoluteness (→Results for $H(ω_2)$ and $Σ_1$: correction, +2) (current)
- 12:56, 14 May 2022 (diff | hist) . . (+54) . . Reflecting cardinals (: ''Not to be confused with reflecting ordinals.'')
- 12:51, 14 May 2022 (diff | hist) . . (+1,053) . . m Axioms of generic absoluteness (reflecting)
- 12:47, 14 May 2022 (diff | hist) . . (-4) . . m Reflecting cardinals (→$\Sigma_2$-correct cardinals: -[[]])
- 12:43, 14 May 2022 (diff | hist) . . (+21) . . m ORD is Mahlo (reflecting) (current)
- 12:42, 14 May 2022 (diff | hist) . . (+29) . . Upper attic (links)
- 12:37, 14 May 2022 (diff | hist) . . (+10) . . Lévy scheme (#REDIRECT Reflecting cardinals) (current)
- 12:20, 14 May 2022 (diff | hist) . . (+169) . . Talk:Indescribable (→Strong indescribability: Can "strong" stay?)
- 12:17, 14 May 2022 (diff | hist) . . (-6) . . Indescribable (weak is apparently not default)
- 08:10, 14 May 2022 (diff | hist) . . (+4) . . m Admissible (→Equivalent definitions: the)
- 08:09, 14 May 2022 (diff | hist) . . (+4) . . m Reflecting ordinal (→Properties: the)
- 08:08, 14 May 2022 (diff | hist) . . (+146) . . Admissible (→Equivalent definitions: $Π_2$-reflecting ordinals)
- 08:07, 14 May 2022 (diff | hist) . . (+942) . . Reflecting ordinal (→Properties: properties)
- 07:51, 14 May 2022 (diff | hist) . . (+393) . . Admissible (2-admissible)
- 07:22, 14 May 2022 (diff | hist) . . (+541) . . Admissible (→Higher admissibility: 2-admissible almost defined)
- 07:05, 14 May 2022 (diff | hist) . . (+447) . . Reflecting ordinal (→Definition: from this point of view we have a theorem)
- 06:56, 14 May 2022 (diff | hist) . . (+319) . . Indescribable (→Facts: analogy)
- 06:49, 14 May 2022 (diff | hist) . . (+378) . . Weakly compact (→$\Sigma_n$-weakly compact etc.: recursive analogue)
- 06:41, 14 May 2022 (diff | hist) . . (+4) . . m Admissible (→Computably inaccessible ordinal: [[]])
- 06:40, 14 May 2022 (diff | hist) . . (+229) . . Admissible (→Recursively Mahlo and further: RichterAczel1974:InductiveDefinitions)
- 06:22, 14 May 2022 (diff | hist) . . (-6) . . m Indescribable (→Indescribable on a set: it seems that in modern terminology strong indescribability is default)
- 06:18, 14 May 2022 (diff | hist) . . (+389) . . Indescribable (→Facts: weakly and strongly indescribable)
- 01:59, 14 May 2022 (diff | hist) . . (+1,197) . . Indescribable (→Indescribable on a set: strongly indescribable, reflecting ordinal)
- 01:43, 14 May 2022 (diff | hist) . . (+25) . . Reflecting ordinal (definition 1.7)
- 01:40, 14 May 2022 (diff | hist) . . (-2) . . m Library (→Library holdings: -:P!)
- 01:39, 14 May 2022 (diff | hist) . . (-21) . . Reflecting ordinal ((compare))
- 01:29, 14 May 2022 (diff | hist) . . (+236) . . Library (→Library holdings: from Reflecting ordinal)
- 11:25, 13 May 2022 (diff | hist) . . (+479) . . Mahlo (Mahlo on a set) (current)
- 11:11, 13 May 2022 (diff | hist) . . (+1,785) . . Indescribable (Indescribable on a set)
- 09:32, 13 May 2022 (diff | hist) . . (-152) . . Stable (<cite>RichterAczel1974:InductiveDefinitions</cite>) (current)
- 09:20, 13 May 2022 (diff | hist) . . (+583) . . Library (→Library holdings: RichterAczel1974:InductiveDefinitions)
- 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))
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
