User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:34, 14 August 2022 (diff | hist) . . (+4) . . Constructible universe (<cite>) (current)
- 13:32, 14 August 2022 (diff | hist) . . (+435) . . Constructible universe (definicja)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
