User contributions
(newest | oldest) View (newer 500 | older 500) (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)
- 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))
- 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!)
- 22:27, 2 September 2021 (diff | hist) . . (+44) . . N Pointwise definable (Redirected page to HOD#Pointwise definable models) (current)
- 22:25, 2 September 2021 (diff | hist) . . (+30) . . N DO model (Redirected page to HOD#Paris models) (current)
- 14:59, 2 September 2021 (diff | hist) . . (-1) . . Model (→Prime models and minimal models: -C)
- 14:49, 2 September 2021 (diff | hist) . . (+384) . . HOD (→Paris models: no well-founded elementary end extension)
- 14:45, 2 September 2021 (diff | hist) . . (+27) . . N KP (Redirected page to Kripke-Platek) (current)
- 14:40, 2 September 2021 (diff | hist) . . (+87) . . Model (→Prime models and minimal models: The minimal transitive model of ZFC is an important model.)
- 14:38, 2 September 2021 (diff | hist) . . (+68) . . N Minimal transitive model of ZFC (Redirected page to ZFC#Minimal transitive model of .24.5Ctext.7BZFC.7D.24) (current)
- 14:34, 2 September 2021 (diff | hist) . . (+51) . . N Prime model (Redirected page to Model#Prime models and minimal models) (current)
- 14:34, 2 September 2021 (diff | hist) . . (+51) . . N Minimal model (Redirected page to Model#Prime models and minimal models) (current)
- 14:33, 2 September 2021 (diff | hist) . . (+18) . . ZFC (→Minimal transitive model of $\text{ZFC}$: minimal)
- 14:32, 2 September 2021 (diff | hist) . . (+35) . . N Transitive model (Redirected page to ZFC#Transitive models) (current)
- 14:30, 2 September 2021 (diff | hist) . . (+4) . . Model (→Prime models and minimal models: [[]])
- 14:30, 2 September 2021 (diff | hist) . . (-12) . . Model (→Prime models and minimal models: all from 23-24)
- 14:29, 2 September 2021 (diff | hist) . . (+836) . . Model (→$\kappa$-model: == Prime models and minimal models ==)
- 14:29, 2 September 2021 (diff | hist) . . (+11) . . HOD (links)
- 14:24, 2 September 2021 (diff | hist) . . (+30) . . N Paris model (Redirected page to HOD#Paris models) (current)
- 14:22, 2 September 2021 (diff | hist) . . (-52) . . Elementary embedding (model) (current)
- 14:11, 2 September 2021 (diff | hist) . . (+1,123) . . HOD (→Sets definable without parameters: from Ali Enayat)
- 11:23, 2 September 2021 (diff | hist) . . (+191) . . HOD (→Sets definable without parameters: definability map)
- 11:11, 2 September 2021 (diff | hist) . . (0) . . HOD (→Sets definable without parameters: sorry, #40!)
- 11:08, 2 September 2021 (diff | hist) . . (+399) . . HOD (→Sets definable without parameters: Paris models)
- 10:46, 2 September 2021 (diff | hist) . . (+141) . . Elementary embedding (prime model)
- 10:43, 2 September 2021 (diff | hist) . . (+805) . . HOD (→Sets definable without parameters: more facts)
- 10:11, 2 September 2021 (diff | hist) . . (+2,526) . . HOD (closer to a definition; Sets definable without parameters)
- 13:42, 29 August 2021 (diff | hist) . . (+30) . . Heights of models (→ZFC without the powerset axiom: thank you for ()
- 12:45, 29 August 2021 (diff | hist) . . (+196) . . Heights of models (→ZFC without the powerset axiom: definition, bug again)
- 11:18, 29 August 2021 (diff | hist) . . (+9) . . m Heights of models (→ZFC without the powerset axiom: \mathrm{HC})
- 11:18, 29 August 2021 (diff | hist) . . (+200) . . Heights of models (→ZFC without the powerset axiom: gap)
- 10:54, 29 August 2021 (diff | hist) . . (-1) . . m Skolem's paradox (-$)
- 09:56, 29 August 2021 (diff | hist) . . (+71) . . New Foundations (original proof) (current)
- 06:19, 29 August 2021 (diff | hist) . . (-91) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: merged)
- 14:19, 24 August 2021 (diff | hist) . . (+2) . . Skolem's paradox (hereditarily)
- 14:16, 24 August 2021 (diff | hist) . . (+386) . . Skolem's paradox (this seems true but crazy)
- 13:46, 24 August 2021 (diff | hist) . . (+53) . . Hereditary Cardinality (→Hereditarily Finite Sets: [https://groups.google.com/g/sci.logic/c/ONW-OODiukk])
- 13:45, 24 August 2021 (diff | hist) . . (+106) . . Skolem's paradox (hereditary finite sets)
- 13:40, 24 August 2021 (diff | hist) . . (+19) . . Hereditary Cardinality (→Hereditarily Finite Sets: HF)
- 13:35, 24 August 2021 (diff | hist) . . (+25) . . Skolem's paradox (Category:The cellar)
- 12:16, 24 August 2021 (diff | hist) . . (+35) . . Chang's conjecture (Category:Large cardinal axioms)
- 12:10, 24 August 2021 (diff | hist) . . (+24) . . Elementary embedding (Category:The cellar)
- 12:03, 24 August 2021 (diff | hist) . . (+2) . . m Hereditary Cardinality (ZFC)
- 12:02, 24 August 2021 (diff | hist) . . (+27) . . Hereditary Cardinality (→Role in Elementary Embeddings: Category:The cellar)
- 11:59, 24 August 2021 (diff | hist) . . (+36) . . N Hereditary cardinality (Redirected page to Hereditary Cardinality) (current)
- 11:58, 24 August 2021 (diff | hist) . . (+25) . . Ultrapower (→The representation lemma: Category:The cellar) (current)
- 11:55, 24 August 2021 (diff | hist) . . (+25) . . Model (→$\kappa$-model: Category:The cellar)
- 11:53, 24 August 2021 (diff | hist) . . (+25) . . Transitive (Category:The cellar) (current)
- 11:51, 24 August 2021 (diff | hist) . . (+24) . . Infinitary logic (Category:The cellar) (current)
- 11:45, 24 August 2021 (diff | hist) . . (+21) . . Extendible (→Strong Compactness: infinitary language)
- 11:42, 24 August 2021 (diff | hist) . . (+4) . . m Strongly compact (→Strong compactness characterization: infinitary logic)
- 11:28, 24 August 2021 (diff | hist) . . (+65) . . Supercompact (→$C^{(n)}$-supercompact: Category:Large cardinal axioms Category:Critical points)
- 11:27, 24 August 2021 (diff | hist) . . (+24) . . Well-ordering principle (Category:The cellar) (current)
- 11:24, 24 August 2021 (diff | hist) . . (+35) . . Berkeley (→Relations: Category:Large cardinal axioms) (current)
- 11:22, 24 August 2021 (diff | hist) . . (+64) . . L of V lambda+1 (→Relation to the I1 Axiom: Category:Large cardinal axioms Category:Critical points) (current)
- 11:20, 24 August 2021 (diff | hist) . . (+64) . . Rank into rank (→Weaker axioms: Category:Large cardinal axioms Category:Critical points) (current)
- 11:16, 24 August 2021 (diff | hist) . . (+25) . . Infinity (Category:The cellar) (current)
- 11:15, 24 August 2021 (diff | hist) . . (+36) . . Remarkable (→$n$-remarkable cardinals: Category:Large cardinal axioms) (current)
- 11:10, 24 August 2021 (diff | hist) . . (+25) . . Seed (Category:The cellar) (current)
- 11:08, 24 August 2021 (diff | hist) . . (+34) . . Mahlo (Category:Large cardinal axioms)
- 11:06, 24 August 2021 (diff | hist) . . (+64) . . High-jump (→Name origin: Category:Large cardinal axioms Category:Critical points) (current)
- 10:59, 24 August 2021 (diff | hist) . . (+27) . . Playroom (→Metagame) (current)
- 10:57, 24 August 2021 (diff | hist) . . (+36) . . Wholeness axioms (→Properties: Category:Large cardinal axioms)
- 10:54, 24 August 2021 (diff | hist) . . (+36) . . Shrewd (→Properties: Category:Large cardinal axioms)
- 10:53, 24 August 2021 (diff | hist) . . (+65) . . Weakly measurable (→Place in the large cardinal hierarchy: Category:Large cardinal axioms Category:Critical points)
- 10:50, 24 August 2021 (diff | hist) . . (+10) . . Reflecting cardinals (→Reflection and correctness: $C^{(n)}$)
- 10:49, 24 August 2021 (diff | hist) . . (+61) . . C^(n) (Category:Middle attic Category:Reflection principles) (current)
- 10:46, 24 August 2021 (diff | hist) . . (+65) . . Measurable (→Read more: Category:Large cardinal axioms Category:Critical points)
- 10:44, 24 August 2021 (diff | hist) . . (+26) . . Hardy hierarchy (→References: Category:The parlour) (current)
- 10:42, 24 August 2021 (diff | hist) . . (+25) . . Dedekind finite (→References: Category:The cellar) (current)
- 10:41, 24 August 2021 (diff | hist) . . (+25) . . Club (→Generalized notions: Category:The cellar) (current)
- 10:39, 24 August 2021 (diff | hist) . . (+26) . . Slow-growing hierarchy (→References: Category:The parlour)
- 12:03, 23 August 2021 (diff | hist) . . (+7) . . m Empty set (interpunction) (current)
- 14:16, 22 August 2021 (diff | hist) . . (+7) . . Empty set (proper classes!)
- 14:04, 22 August 2021 (diff | hist) . . (0) . . m Empty set (→As a Function\Relation: is)
- 14:03, 22 August 2021 (diff | hist) . . (+321) . . Empty set (→As a Function\Relation: overlooked)
- 13:54, 22 August 2021 (diff | hist) . . (+23) . . N Atom (Redirected page to Empty set) (current)
- 13:54, 22 August 2021 (diff | hist) . . (+23) . . N Urelement (Redirected page to Empty set) (current)
- 13:53, 22 August 2021 (diff | hist) . . (+1,606) . . Empty set (links, more information (context))
- 12:22, 22 August 2021 (diff | hist) . . (+62) . . Zero (the empty function.) (current)
- 07:41, 22 August 2021 (diff | hist) . . (+29) . . Reinhardt (→Relations: Category:Critical points)
- 07:39, 22 August 2021 (diff | hist) . . (+64) . . Kunen inconsistency (→Metamathematical issues: Category:Large cardinal axioms Category:Critical points)
- 07:37, 22 August 2021 (diff | hist) . . (+24) . . Parlour ( ) (current)
- 07:33, 22 August 2021 (diff | hist) . . (+36) . . Nearly supercompact (→Nearly strongly compact: Category:Large cardinal axioms) (current)
- 07:32, 22 August 2021 (diff | hist) . . (+23) . . HOD (Category:The cellar)
- 07:30, 22 August 2021 (diff | hist) . . (+25) . . Core model (→Properties: Category:The cellar) (current)
- 07:21, 22 August 2021 (diff | hist) . . (+34) . . Tall (Category:Large cardinal axioms)
- 07:07, 22 August 2021 (diff | hist) . . (0) . . New Foundations (see Russell's paradox)
- 07:06, 22 August 2021 (diff | hist) . . (+28) . . New Foundations ((see Russell's Paradox))
- 06:51, 22 August 2021 (diff | hist) . . (+149) . . Zero (explanation, unification; bugs make me remove parentheses)
- 04:22, 22 August 2021 (diff | hist) . . (+25) . . Russell's paradox (Category:The cellar) (current)
- 04:20, 22 August 2021 (diff | hist) . . (+36) . . Reinhardt (→Relations: Category:Large cardinal axioms)
- 04:17, 22 August 2021 (diff | hist) . . (+36) . . Woodin (→Stationary tower forcing: Category:Large cardinal axioms)
- 04:16, 22 August 2021 (diff | hist) . . (+36) . . Worldly (→Replacement Characterization: Category:Large cardinal axioms)
- 04:14, 22 August 2021 (diff | hist) . . (+26) . . Zero (Category:The parlour)
- 04:12, 22 August 2021 (diff | hist) . . (+35) . . Hypercompact (Category:Large cardinal axioms) (current)
- 04:11, 22 August 2021 (diff | hist) . . (+23) . . N Category:Forcing (Category:The cellar) (current)
- 04:10, 22 August 2021 (diff | hist) . . (+21) . . Axioms of generic absoluteness (→Open problems: Category:Forcing)
- 04:10, 22 August 2021 (diff | hist) . . (+22) . . Forcing (→Axioms of generic absoluteness: Category:Forcing)
- 04:08, 22 August 2021 (diff | hist) . . (+36) . . Axioms of generic absoluteness (→Open problems: Category:Large cardinal axioms)
- 04:06, 22 August 2021 (diff | hist) . . (+36) . . Mitchell rank (→The Mitchell order: Category:Large cardinal axioms) (current)
- 04:05, 22 August 2021 (diff | hist) . . (+36) . . Axiom of determinacy (→Read more: Category:Large cardinal axioms)
- 04:04, 22 August 2021 (diff | hist) . . (+36) . . Ineffable (→Completely ineffable cardinal: Category:Large cardinal axioms) (current)
- 03:47, 22 August 2021 (diff | hist) . . (+27) . . Second-order (→Between $\text{NBG}$ and $\text{MK}$: Category:Set theories) (current)
- 03:46, 22 August 2021 (diff | hist) . . (+27) . . Kripke-Platek (→Axiom of Infinity: Category:Set theories) (current)
- 23:26, 21 August 2021 (diff | hist) . . (+34) . . Heights of models (Category:Lower atticCategory:Large cardinal axioms)
- 23:25, 21 August 2021 (diff | hist) . . (+155) . . Category:Large cardinal axioms (This page contains information about large cardinals, axioms that state their existence and other axioms that have place in the large cardinal hierarchy.) (current)
- 23:22, 21 August 2021 (diff | hist) . . (+35) . . Inaccessible (→Levy collapse: Category:Large cardinal axioms)
- 23:20, 21 August 2021 (diff | hist) . . (+27) . . New Foundations (Category:Set theories)
- 23:19, 21 August 2021 (diff | hist) . . (+27) . . Positive set theory (→Other positive set theories and the inconsistency of the axiom of extensionality: Category:Set theories) (current)
- 23:17, 21 August 2021 (diff | hist) . . (+26) . . Category:Infinite ordinals (Category:Order theory) (current)
- 23:16, 21 August 2021 (diff | hist) . . (+25) . . First steps (→The Intuition of Large Cardinal Axioms: Category:The cellar) (current)
- 23:15, 21 August 2021 (diff | hist) . . (+2) . . Order-isomorphism (Category:Order theory) (current)
- 23:14, 21 August 2021 (diff | hist) . . (+23) . . N Category:Order theory (Created page with "Category:The cellar") (current)
- 23:14, 21 August 2021 (diff | hist) . . (+27) . . Ordering Relations (→Well-Ordering Relations: Category:Order theory) (current)
- 23:12, 21 August 2021 (diff | hist) . . (+25) . . Order-isomorphism (Category:The cellar)
- 23:11, 21 August 2021 (diff | hist) . . (+26) . . BEAF (→Tetrational arrays: Category:The parlour) (current)
- 23:09, 21 August 2021 (diff | hist) . . (+39) . . Cardinal ( ) (current)
- 23:07, 21 August 2021 (diff | hist) . . (+34) . . Ordinal ( ) (current)
- 23:04, 21 August 2021 (diff | hist) . . (+109) . . Cardinality (→Non-well orderable cardinals: Category:Infinite cardinals, ''see'') (current)
- 23:01, 21 August 2021 (diff | hist) . . (+29) . . Cardinal general (Category:Infinite cardinals)
- 22:54, 21 August 2021 (diff | hist) . . (+26) . . Library (Category:Cantor's Attic)
- 22:52, 21 August 2021 (diff | hist) . . (+25) . . Graham's number (Category:The parlour) (current)
- 22:49, 21 August 2021 (diff | hist) . . (+23) . . N Category:Set theories (Created page with "Category:The cellar") (current)
- 22:48, 21 August 2021 (diff | hist) . . (+29) . . Category:The parlour (Category:Cantor's Attic) (current)
- 22:47, 21 August 2021 (diff | hist) . . (+29) . . Category:Infinite ordinals (Category:Cantor's Attic)
- 22:45, 21 August 2021 (diff | hist) . . (+25) . . Category:Constructibility (Category:The cellar) (current)
- 22:42, 21 August 2021 (diff | hist) . . (+162) . . N Category:The cellar (Created page with "This category will contain links to summary accounts of supporting foundational or background material used on the rest of the site. Category:Cantor's Attic") (current)
- 22:41, 21 August 2021 (diff | hist) . . (+13) . . N Category:Cantor's Attic (Created page with "Main category") (current)
- 22:40, 21 August 2021 (diff | hist) . . (+29) . . Cantor's Attic (Category:Cantor's Attic) (current)
- 22:38, 21 August 2021 (diff | hist) . . (+23) . . Cellar (Category:The cellar) (current)
- 22:34, 21 August 2021 (diff | hist) . . (+25) . . ZFC (Category:Set theories)
- 22:26, 21 August 2021 (diff | hist) . . (+29) . . Middle attic ( )
- 22:28, 14 August 2021 (diff | hist) . . (+310) . . Talk:Constructible universe (I managed)
- 22:23, 14 August 2021 (diff | hist) . . (+725) . . Constructible universe (→The Relativized constructible universes $L_\alpha(W)$ and $L_\alpha[W]$: facts from C7X inserted)
- 22:18, 14 August 2021 (diff | hist) . . (+42) . . Constructible universe (→The Relativized constructible universes $L_\alpha(W)$ and $L_\alpha[W]$: now this section can be edited)
- 22:03, 14 August 2021 (diff | hist) . . (-3) . . m Heights of models (→ZFC without the powerset axiom: typo)
- 10:32, 13 August 2021 (diff | hist) . . (+2,323) . . N New Foundations (Created page with "'''New Foundations''' (NF) is a set theory that has the set of all sets (the universal set), but allows only stratifiable formulas in comprehension. Stratifiable formulas are...")
- 22:21, 10 August 2021 (diff | hist) . . (+146) . . Measurable (→Properties: weakly measurable)
- 21:41, 8 August 2021 (diff | hist) . . (+482) . . Remarkable (→Results: +2)
- 21:28, 8 August 2021 (diff | hist) . . (-49) . . m Erdos (→Facts: this was explained above) (current)
- 21:24, 8 August 2021 (diff | hist) . . (+171) . . Erdos (→Facts: something added, but parentheses cause errors)
- 06:02, 8 August 2021 (diff | hist) . . (+439) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: +2)
- 05:36, 8 August 2021 (diff | hist) . . (+3) . . m Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: in!)
- 05:34, 8 August 2021 (diff | hist) . . (+645) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: counterexample)
- 05:09, 8 August 2021 (diff | hist) . . (+26) . . m Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: parentheses seem to cause this error - I am forced to use this form)
- 05:05, 8 August 2021 (diff | hist) . . (+29) . . m Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: this works)
- 05:03, 8 August 2021 (diff | hist) . . (+235) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: +1, source for 2, but a fragment is causing an error - sorry, I am going to try to fix it)
- 14:26, 5 August 2021 (diff | hist) . . (+62) . . N ZFC-P (Redirected page to Heights of models#ZFC without the powerset axiom) (current)
- 14:03, 5 August 2021 (diff | hist) . . (+22) . . m Stable (→Properties: height)
- 13:54, 5 August 2021 (diff | hist) . . (+62) . . Model (Heights of models - will this work correctly?)
- 13:47, 5 August 2021 (diff | hist) . . (-40) . . Template:References (Undo revision 3616 by BartekChom (talk))
- 13:47, 5 August 2021 (diff | hist) . . (+40) . . Template:References (→References: == See also == * Heights of models I cannot edit the whole article)
- 13:44, 5 August 2021 (diff | hist) . . (+22) . . ZFC (→Minimal transitive model of $\text{ZFC}$: height)
- 13:39, 5 August 2021 (diff | hist) . . (+4) . . m ZFC (→History: The)
- 13:38, 5 August 2021 (diff | hist) . . (+428) . . ZFC (→History: key works from Wikipedia)
- 13:13, 5 August 2021 (diff | hist) . . (+8) . . m Heights of models (transitive models)
- 13:09, 5 August 2021 (diff | hist) . . (+59) . . m Heights of models (minimal model of ZFC)
- 08:53, 5 August 2021 (diff | hist) . . (+2) . . m Heights of models (→ZFC without the powerset axiom: ,)
- 08:50, 5 August 2021 (diff | hist) . . (+61) . . m Heights of models (the smallest height countable)
- 08:45, 5 August 2021 (diff | hist) . . (+956) . . Heights of models (larger consistency strength - larger model; ZFC-P)
- 22:42, 2 August 2021 (diff | hist) . . (-23) . . Inaccessible reflecting (Redirected page to Reflecting cardinals) (current)
- 22:41, 2 August 2021 (diff | hist) . . (+10) . . Reflection theorem (Redirected page to Reflecting cardinals#Reflection theorem) (current)
- 22:39, 2 August 2021 (diff | hist) . . (+29) . . Middle attic (reflecting cardinals)
- 22:37, 2 August 2021 (diff | hist) . . (+10) . . m Correct (Redirected page to Reflecting cardinals#Reflection and correctness) (current)
- 22:35, 2 August 2021 (diff | hist) . . (-23) . . Inaccessible reflecting cardinal (Redirected page to Reflecting cardinals) (current)
- 22:06, 2 August 2021 (diff | hist) . . (-1) . . m Shrewd (with!)
- 04:25, 30 July 2021 (diff | hist) . . (+16) . . m Mahlo (→$\Sigma_n$-Mahlo etc.: English grammar)
- 00:55, 30 July 2021 (diff | hist) . . (-1) . . m User talk:Muhammad Bukhari Noor/Karauwan cardinal (→Disclaimer: Karauwan cardinal seems)
- 00:48, 30 July 2021 (diff | hist) . . (+579) . . User talk:Muhammad Bukhari Noor/Karauwan cardinal (→Disclaimer: I managed to send my response)
- 00:36, 30 July 2021 (diff | hist) . . (+2,167) . . User talk:Muhammad Bukhari Noor/Karauwan cardinal (→Disclaimer: almost)
- 00:34, 30 July 2021 (diff | hist) . . (+228) . . User talk:Muhammad Bukhari Noor/Karauwan cardinal (→Disclaimer)
- 00:33, 30 July 2021 (diff | hist) . . (+265) . . User talk:Muhammad Bukhari Noor/Karauwan cardinal (→Disclaimer: mini edit - I get errors)
- 08:56, 14 July 2021 (diff | hist) . . (+38) . . Huge (→Consistency strength and size: style, clarification (if I guess the meaning correctly))
- 22:36, 20 November 2019 (diff | hist) . . (+181) . . N-fold variants (→$W$-$E_n$, $P$-$E_n$, and $B$-$E_n$: (compare Rank into rank axioms#$B$-$E_n$, $P$-$E_n$, and $W$-$E_n$ cardinals), $-$)
- 22:34, 20 November 2019 (diff | hist) . . (+166) . . Rank into rank (→$B$-$E_n$, $P$-$E_n$, and $W$-$E_n$ cardinals: compare $n$-fold Variants of Large Cardinals#$W$-$E_n$, $P$-$E_n$, and $B$-$E_n$)
- 08:56, 17 November 2019 (diff | hist) . . (+13) . . m Mahlo (→$\Sigma_n$-Mahlo etc.: For example:)
- 08:55, 17 November 2019 (diff | hist) . . (+13) . . m Weakly compact (→$\Sigma_n$-weakly compact etc.: For example:)
- 08:11, 17 November 2019 (diff | hist) . . (+548) . . Mahlo (→$\Sigma_n$-Mahlo etc.: copied)
- 08:05, 17 November 2019 (diff | hist) . . (-30) . . Axioms of generic absoluteness (→Results for $L(H(ω_1))$ ($=L(\mathbb{R})$): form like above)
- 07:51, 17 November 2019 (diff | hist) . . (+238) . . Weakly compact (→$\Sigma_n$-weakly compact etc.: +1)
- 07:48, 17 November 2019 (diff | hist) . . (+1,506) . . Axioms of generic absoluteness (→Results for $L(H(ω_1))$ ($=L(\mathbb{R})$): section done)
- 07:30, 17 November 2019 (diff | hist) . . (+4) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: remarkable)
- 07:22, 17 November 2019 (diff | hist) . . (+279) . . Constructible universe (→Generalisations: +1)
- 07:21, 17 November 2019 (diff | hist) . . (+293) . . Strong (→Facts about Strongness and Hypermeasurability: +1) (current)
- 07:21, 17 November 2019 (diff | hist) . . (+202) . . Forcing (→Bounded Forcing Axiom: +1)
- 06:59, 17 November 2019 (diff | hist) . . (+3) . . Upper attic (repair)
- 06:57, 17 November 2019 (diff | hist) . . (+58) . . Upper attic (* weakly hyper-Woodin cardinal, Shelah cardinal, hyper-Woodin cardinal)
- 06:54, 17 November 2019 (diff | hist) . . (+1,178) . . Woodin (Hyper-Woodin)
- 06:41, 17 November 2019 (diff | hist) . . (0) . . m Superstrong (→Relation to other large cardinal notions: h!)
- 06:25, 17 November 2019 (diff | hist) . . (+311) . . Superstrong (from sources, but "supercompact cardinals need not be superstrong" suggests that supercompactness implies “super”-superstrongness e.g. only in consistency strength)
- 05:48, 17 November 2019 (diff | hist) . . (+190) . . Woodin (→Shelah-for-supercompactness: copied)
- 05:37, 17 November 2019 (diff | hist) . . (+464) . . Library (+1)
- 00:58, 17 November 2019 (diff | hist) . . (+108) . . Woodin (they give a model with many strengthened strong cardinals although they are usually not strong themselves)
- 00:53, 17 November 2019 (diff | hist) . . (+115) . . Woodin (→Definition and some properties: because of the extender definition of $\gamma$-$A$-strongness<cite>Schimmerling2002:WoodinShelahAndCoreModel</cite>)
- 00:50, 17 November 2019 (diff | hist) . . (+400) . . Strong (→$\gamma$-strongness for $A$: <cite>Schimmerling2002:WoodinShelahAndCoreModel</cite>)
- 23:55, 16 November 2019 (diff | hist) . . (+86) . . N-fold variants (→Alternative classification: n+1, for supercompactness?)
- 05:53, 16 November 2019 (diff | hist) . . (-2) . . m N-fold variants (-es)
- 05:03, 16 November 2019 (diff | hist) . . (+136) . . Rank into rank (note on terminology)
- 04:56, 16 November 2019 (diff | hist) . . (+141) . . Rank into rank (to, can be forced)
- 04:49, 16 November 2019 (diff | hist) . . (+373) . . N-fold variants (→$\omega$-fold extendible: justifications)
- 11:19, 15 November 2019 (diff | hist) . . (0) . . m ZFC (→Uncountable transitive models: thaN)
- 11:03, 15 November 2019 (diff | hist) . . (+168) . . Lower attic (ZFC-P<!--much above, much below...-->)
- 16:35, 14 November 2019 (diff | hist) . . (+170) . . Strong (→Facts about Strongness and Hypermeasurability: +1)
- 16:34, 14 November 2019 (diff | hist) . . (+1) . . m Woodin (→Witnessing number: H)
- 16:26, 14 November 2019 (diff | hist) . . (+274) . . Woodin (→Witnessing number: The following are equivalent:)
- 16:16, 14 November 2019 (diff | hist) . . (+692) . . Woodin (→Shelah cardinals: +2)
- 15:59, 14 November 2019 (diff | hist) . . (+1,158) . . Library (+2)
- 15:00, 14 November 2019 (diff | hist) . . (+107) . . Woodin (→Shelah cardinals: <!--really strong? Are huge and almost huge cardinals not Shelah? Can the least (almost) huge be strong?-->)
- 14:59, 14 November 2019 (diff | hist) . . (+137) . . Woodin (→Shelah cardinals: really strong? Are huge and almost huge cardinals not Shelah? Can the least (almost) huge be strong?)
- 11:30, 14 November 2019 (diff | hist) . . (+816) . . Axioms of generic absoluteness (→Results for $H(ω_2)$ and $Σ_1$: corrected, +6)
- 11:11, 14 November 2019 (diff | hist) . . (+247) . . N-fold variants (\operatorname{crit} j)
- 10:48, 14 November 2019 (diff | hist) . . (+20) . . Library (MONTH = {May})
- 10:46, 14 November 2019 (diff | hist) . . (+23) . . Library (PAGES = {199-236},)
- 10:45, 14 November 2019 (diff | hist) . . (0) . . Library (NUMBER)
- 10:43, 14 November 2019 (diff | hist) . . (+87) . . Library (Kentaro2007:DoubleHelix DOI etc.)
- 15:51, 13 November 2019 (diff | hist) . . (+101) . . Upper attic ($A$-strong cardinals etc.)
- 15:48, 13 November 2019 (diff | hist) . . (-521) . . Woodin (→Definition and some properties: strong to strong)
- 15:48, 13 November 2019 (diff | hist) . . (+580) . . Strong (→Core Model up to Strongness: from Woodin)
- 15:03, 13 November 2019 (diff | hist) . . (+1,406) . . N-fold variants (→Alternative classification: information copied)
- 14:17, 13 November 2019 (diff | hist) . . (+2,384) . . N-fold variants (== Alternative classification == definitions)
- 12:16, 13 November 2019 (diff | hist) . . (+1,971) . . N-fold variants (n-S-lambda i.e. strong with targets)
- 10:40, 13 November 2019 (diff | hist) . . (+12) . . m N-fold variants (→The property $n$-S-$γ$: Formulation)
- 10:30, 13 November 2019 (diff | hist) . . (+745) . . N-fold variants (===The property $n$-S-$γ$=== start)
- 10:10, 13 November 2019 (diff | hist) . . (+129) . . N-fold variants (→$n$-fold supercompact cardinals: supersuperstrongness)
- 09:56, 13 November 2019 (diff | hist) . . (+285) . . N-fold variants (→$n$-fold Variants which are simply the original Large Cardinal: Shelah)
- 22:49, 9 November 2019 (diff | hist) . . (+2) . . Ineffable (completely ineffable!)
- 14:18, 8 November 2019 (diff | hist) . . (0) . . Upper attic (BTEE < completely ineffable)
- 14:16, 8 November 2019 (diff | hist) . . (+188) . . Ineffable (→$n$-ineffable cardinal: +1/2)
- 14:14, 8 November 2019 (diff | hist) . . (+145) . . Wholeness axioms (→Properties: * Consistency of a completely ineffable cardinal implies consistency of the theory $\mathrm{BTEE}$.[https://victoriagitman.github.io/research/2019/06/05/completely-ineffable-cardinals.html])
- 14:03, 8 November 2019 (diff | hist) . . (+315) . . Wholeness axioms (Cofinal Axiom)
- 13:49, 8 November 2019 (diff | hist) . . (+18) . . Ordinal (ON is too much)
- 13:44, 8 November 2019 (diff | hist) . . (-1) . . m Superstrong (→Relation to other large cardinal notions: -*)
- 13:44, 8 November 2019 (diff | hist) . . (+198) . . Huge (→Consistency strength and size: +1)
- 13:41, 8 November 2019 (diff | hist) . . (+179) . . Superstrong (→Relation to other large cardinal notions: +1)
- 13:40, 8 November 2019 (diff | hist) . . (+12) . . m Wholeness axioms (links)
- 13:38, 8 November 2019 (diff | hist) . . (+253) . . Measurable (→Properties: +1)
- 13:34, 8 November 2019 (diff | hist) . . (+26) . . Indescribable (→Facts: (Basic Theory of Elementary Embeddings))
- 13:33, 8 November 2019 (diff | hist) . . (+171) . . Indescribable (→Facts: +1)
- 13:33, 8 November 2019 (diff | hist) . . (+173) . . Wholeness axioms (→Properties: +1)
- 13:29, 8 November 2019 (diff | hist) . . (+233) . . Erdos (→Facts: +1)
- 13:22, 8 November 2019 (diff | hist) . . (+255) . . Ineffable (→$n$-ineffable cardinal: +1)
- 13:16, 8 November 2019 (diff | hist) . . (+61) . . N BTEE (Redirected page to Wholeness axioms#.24.5Cmathrm.7BBTEE.7D.24 etc.) (current)
- 13:16, 8 November 2019 (diff | hist) . . (+61) . . N Basic Theory of Elementary Embeddings (Redirected page to Wholeness axioms#.24.5Cmathrm.7BBTEE.7D.24 etc.) (current)
- 13:14, 8 November 2019 (diff | hist) . . (+1,232) . . Wholeness axioms (BTEE - start - very different consistency strengths)
- 13:09, 8 November 2019 (diff | hist) . . (+412) . . Library (Corazza2006:TheSpectrumOfElementaryEmbeddings)
- 11:52, 8 November 2019 (diff | hist) . . (+71) . . Upper attic (BTEE)
- 10:59, 8 November 2019 (diff | hist) . . (+9) . . m Wholeness axioms (→Properties: \mathrm{I}!!)
- 10:56, 8 November 2019 (diff | hist) . . (+9) . . m Wholeness axioms (→Axioms $\mathrm{I}_4^n$: \mathrm{I}!)
- 10:54, 8 November 2019 (diff | hist) . . (+9) . . m Wholeness axioms (→Axioms $\mathrm{I}_4^n$: \mathrm{I})
- 10:46, 8 November 2019 (diff | hist) . . (+68) . . Wholeness axioms (\n)
- 13:53, 7 November 2019 (diff | hist) . . (+598) . . Axioms of generic absoluteness (→Results for $H(ω_2)$ and $Σ_1$: +3)
- 13:39, 7 November 2019 (diff | hist) . . (-50) . . Axioms of generic absoluteness (Undo revision 3314 by BartekChom (talk) without tilde!)
- 13:30, 7 November 2019 (diff | hist) . . (+50) . . Axioms of generic absoluteness (→Basic properties: mentioned later)
- 09:00, 7 November 2019 (diff | hist) . . (-1) . . m Forcing (→Bounded Forcing Axiom: -" ")
- 08:58, 7 November 2019 (diff | hist) . . (-12) . . Forcing (→Martin's axiom: consistent with its negation!)
- 08:40, 7 November 2019 (diff | hist) . . (+273) . . Axioms of generic absoluteness (→Results for $H(ω_2)$ and $Σ_2$: full argument)
- 07:29, 7 November 2019 (diff | hist) . . (0) . . m Reinhardt ($-)
- 02:20, 5 November 2019 (diff | hist) . . (0) . . m Axioms of generic absoluteness (→Results: Woodin)
- 02:19, 5 November 2019 (diff | hist) . . (0) . . m Axioms of generic absoluteness (→Results for $L(H(ω_1))$ ($=L(\mathbb{R})$): _omega})
- 02:18, 5 November 2019 (diff | hist) . . (+15) . . Axioms of generic absoluteness (→Results for $L(H(ω_1))$ ($=L(\mathbb{R})$): \underset{\sim}{} !)
- 02:13, 5 November 2019 (diff | hist) . . (+866) . . Axioms of generic absoluteness (→......: sections)
- 01:24, 5 November 2019 (diff | hist) . . (+9) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_n$, $4 \le n \le ω$: (dagger))
- 01:23, 5 November 2019 (diff | hist) . . (+959) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_n$, $4 \le n \le ω$: done)
- 07:35, 3 November 2019 (diff | hist) . . (+155) . . Constructible universe (→Sharps of arbitrary sets: copied: iff ... is universally Baire.)
- 07:28, 3 November 2019 (diff | hist) . . (+54) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_2$: universally Baire)
- 07:25, 3 November 2019 (diff | hist) . . (+3) . . m Axioms of generic absoluteness (→......: of!)
- 07:24, 3 November 2019 (diff | hist) . . (+509) . . Axioms of generic absoluteness (→......: $\mathcal{A}(L(\mathbb{R}), Σ_ω(\mathbb{R}))$, AD and Woodin: some pieces of information from the source merged with ones already present in this wiki)
- 06:07, 3 November 2019 (diff | hist) . . (0) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: Σ_3!)
- 06:00, 3 November 2019 (diff | hist) . . (+1,402) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: $Σ_3$ done)
- 05:49, 3 November 2019 (diff | hist) . . (+1) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_2$: :)
- 05:45, 3 November 2019 (diff | hist) . . (-2) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_2$: BMM!)
- 05:42, 3 November 2019 (diff | hist) . . (0) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_2$: lAst)
- 00:18, 3 November 2019 (diff | hist) . . (+220) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$)
- 00:15, 3 November 2019 (diff | hist) . . (+246) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: This result is optimal, for)
- 00:06, 3 November 2019 (diff | hist) . . (-13) . . Axioms of generic absoluteness (→......: words with words)
- 00:04, 3 November 2019 (diff | hist) . . (-16) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: typo, like Sigma omega Mahlo)
- 00:01, 3 November 2019 (diff | hist) . . (+1) . . m Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_3$: $ $)
- 23:59, 2 November 2019 (diff | hist) . . (+1,050) . . Axioms of generic absoluteness (plus, unification)
- 14:36, 2 November 2019 (diff | hist) . . (+1) . . Axioms of generic absoluteness (→Results for $H(ω_1)$ and $Σ_2$: Mathias!)
- 14:27, 2 November 2019 (diff | hist) . . (+688) . . Axioms of generic absoluteness (=== Results for $H(ω_1)$ and $Σ_3$ === start)
- 13:41, 2 November 2019 (diff | hist) . . (+22) . . Cellar (→Axiomatic set theories: New Foundations)
- 07:39, 27 October 2019 (diff | hist) . . (+4) . . m Ramsey (→Virtually Ramsey cardinal: $$)
- 08:15, 26 October 2019 (diff | hist) . . (+2,889) . . Axioms of generic absoluteness (Results for $H(ω_1)$ and $Σ_2$)
- 07:21, 26 October 2019 (diff | hist) . . (+1,216) . . Axioms of generic absoluteness (→Basic properties: copied)
- 05:43, 26 October 2019 (diff | hist) . . (+52) . . Forcing (Axiom A is a type of forcing)
- 05:33, 26 October 2019 (diff | hist) . . (+1) . . Forcing (→Chain conditions, distributivity, closure and property (K): is)
- 05:26, 26 October 2019 (diff | hist) . . (+2,600) . . Forcing (reordered, list)
- 04:24, 26 October 2019 (diff | hist) . . (+45) . . m Axioms of generic absoluteness (compare Projective#Generically_absolute)
- 04:23, 26 October 2019 (diff | hist) . . (+77) . . m Projective (→Suslin sets and universally Baire sets: ==== Generically absolute ====) (current)
- 04:10, 26 October 2019 (diff | hist) . . (0) . . Forcing (→Bounded Forcing Axiom: \textit)
- 04:08, 26 October 2019 (diff | hist) . . (+884) . . Forcing (→Martin's maximum and the semiproper forcing axiom: === Bounded Forcing Axiom ===)
- 03:58, 26 October 2019 (diff | hist) . . (+15) . . Ordinal (or $\mathrm{OR}$)
- 03:51, 26 October 2019 (diff | hist) . . (+197) . . Axioms of generic absoluteness (→Results: +1)
- 03:48, 26 October 2019 (diff | hist) . . (-27) . . Weakly compact (→$\Sigma_n$-weakly compact etc.: axioms of generic absoluteness)
- 03:33, 26 October 2019 (diff | hist) . . (-8) . . Constructible universe (→Sharps of arbitrary sets: Axioms of generic absoluteness)
- 03:32, 26 October 2019 (diff | hist) . . (-8) . . m Reflecting cardinals (→$\Sigma_2$-correct cardinals: Axioms of generic absoluteness)
- 03:31, 26 October 2019 (diff | hist) . . (-46) . . Mahlo (→$\Sigma_n$-Mahlo etc.: Axioms of generic absoluteness)
- 03:28, 26 October 2019 (diff | hist) . . (-2,050) . . Forcing (moved)
- 03:27, 26 October 2019 (diff | hist) . . (+3,063) . . N Axioms of generic absoluteness (moved from forcing, extended)
- 03:07, 26 October 2019 (diff | hist) . . (+28) . . m Mahlo (→$\Sigma_n$-Mahlo etc.: s)
- 02:34, 26 October 2019 (diff | hist) . . (+94) . . L of V lambda+1 (The $\mathrm{I0}$ axiom is sometimes called $\tilde{L}$<cite>Kentaro2007:DoubleHelix</cite>.)
- 02:29, 26 October 2019 (diff | hist) . . (-4) . . m Erdos (→Facts: -[[]])
- 02:23, 26 October 2019 (diff | hist) . . (+852) . . Constructible universe (→Sharps of arbitrary sets: something about it, whatever it is)
- 02:21, 26 October 2019 (diff | hist) . . (+194) . . Erdos (→Facts: +1)
- 02:06, 26 October 2019 (diff | hist) . . (+87) . . Model (from other point of view)
- 01:58, 26 October 2019 (diff | hist) . . (+2,251) . . Forcing (Axioms of generic absoluteness)
- 01:57, 26 October 2019 (diff | hist) . . (+423) . . Reflecting cardinals (→$\Sigma_2$-correct cardinals: axiom of generic absoluteness)
- 15:53, 25 October 2019 (diff | hist) . . (-1) . . m Rank into rank (→The $\text{I2}$ Axiom: \n)
- 15:51, 25 October 2019 (diff | hist) . . (+4) . . m Rank into rank (→$E_n$ axioms: V_{\delta+1})
- 15:37, 25 October 2019 (diff | hist) . . (+2) . . m Rank into rank (→Virtually rank-into-rank: $ $!)
- 15:35, 25 October 2019 (diff | hist) . . (+29) . . m Upper attic (N-fold_variants#.24.5Comega.24-fold_variants)
- 15:32, 25 October 2019 (diff | hist) . . (+23) . . Elementary embedding ($crit(j)$ or $cr(j)$)
- 15:30, 25 October 2019 (diff | hist) . . (+142) . . N-fold variants (→$n$-fold Variants Which Are Simply the Original Large Cardinal: definition)
- 15:24, 25 October 2019 (diff | hist) . . (+183) . . N-fold variants (→$\omega$-fold Woodin: iff)
- 15:13, 25 October 2019 (diff | hist) . . (+1,907) . . Rank into rank ($k$ is $j^+$, breaking, IE, $\omega$-fold)
- 14:28, 25 October 2019 (diff | hist) . . (+61) . . Ordinal (Ord)
- 14:21, 25 October 2019 (diff | hist) . . (+19) . . Upper attic (IE)
- 13:51, 25 October 2019 (diff | hist) . . (+2) . . m Rank into rank (→The $\text{I3}$ Axiom and Natural Strengthenings: \n)
- 13:46, 25 October 2019 (diff | hist) . . (+968) . . Rank into rank (→$C^{(n)}$ variants: General results:)
- 13:05, 25 October 2019 (diff | hist) . . (+20) . . Rank into rank (→$E_n$ axioms: **)
- 13:02, 25 October 2019 (diff | hist) . . (+1,437) . . Rank into rank (→The $\text{I3}$ Axiom and Natural Strengthenings: notes)
- 12:14, 25 October 2019 (diff | hist) . . (+1,423) . . Rank into rank (→$C^{(n)}$ variants: definitions)
- 14:23, 23 October 2019 (diff | hist) . . (+2,476) . . Supercompact ($C^{(n)}$-supercompact)
- 14:23, 23 October 2019 (diff | hist) . . (-11) . . Reflecting cardinals (→Reflection and correctness: $C^{(n)}$-supercompact,)
- 13:24, 23 October 2019 (diff | hist) . . (+49) . . Rank into rank (→$C^{(n)}$ variants: 2019)
- 13:20, 23 October 2019 (diff | hist) . . (+2) . . m Superstrong (→Relation to other large cardinal notions: $κ$)
- 13:16, 23 October 2019 (diff | hist) . . (+71) . . Extendible (→$C^{(n)}$-extendible cardinals: Every $C^{(n)}$-superhuge cardinal is $C^{(n)}$-extendible.)
- 13:13, 23 October 2019 (diff | hist) . . (+74) . . Superstrong (→Relation to other large cardinal notions: +1)
- 13:10, 23 October 2019 (diff | hist) . . (+93) . . Upper attic ($E_i$)
- 13:10, 23 October 2019 (diff | hist) . . (+2,577) . . Huge (→$C^{(n)}$-$m$-huge cardinals: information about almost-huge and superhuge from 2019 extended arXiv version)
- 10:52, 23 October 2019 (diff | hist) . . (+28) . . Library (2019 arXiv $C^{(n)}$-cardinals)
- 12:54, 22 October 2019 (diff | hist) . . (-3) . . Hypercompact (It was)
- 21:41, 19 October 2019 (diff | hist) . . (+6) . . m Ramsey (→Generalisations: ''' ''')
- 07:10, 19 October 2019 (diff | hist) . . (+4) . . Upper attic (**)
- 07:05, 19 October 2019 (diff | hist) . . (+62) . . Upper attic ($\omega$-fold variants)
- 07:02, 19 October 2019 (diff | hist) . . (+33) . . Upper attic (Vopěnka scheme, '''Vopěnka principle''')
- 06:54, 19 October 2019 (diff | hist) . . (+143) . . Upper attic (enhanced $\lambda$-supercompact cardinals, enhanced supercompact cardinal, $\lambda$-hypercompact cardinals, hypercompact cardinal)
- 06:51, 19 October 2019 (diff | hist) . . (+70) . . Upper attic (ordering, more ''' ''')
- 06:23, 19 October 2019 (diff | hist) . . (+56) . . Upper attic (Vopěnka-scheme cardinal)
- 06:20, 19 October 2019 (diff | hist) . . (+81) . . Upper attic (enhanced supercompact cardinal)
- 06:15, 19 October 2019 (diff | hist) . . (+292) . . Extendible (→Relation to Other Large Cardinals: hypercompact)
- 06:02, 19 October 2019 (diff | hist) . . (+154) . . Hypercompact (The relationship between extendible, hypercompact and enhanced supercompact cardinals is not known.)
- 06:00, 19 October 2019 (diff | hist) . . (+478) . . Vopenka (→Vopěnka cardinals: hypercompact) (current)
- 05:58, 19 October 2019 (diff | hist) . . (+769) . . Supercompact (Enhanced supercompact cardinals)
- 05:49, 19 October 2019 (diff | hist) . . (+21) . . N Vopěnka (Redirected page to Vopenka) (current)
- 05:34, 19 October 2019 (diff | hist) . . (+2,011) . . Hypercompact (excessive)
- 05:16, 19 October 2019 (diff | hist) . . (+319) . . Library (+1)
- 04:48, 19 October 2019 (diff | hist) . . (-78) . . m High-jump (<cite>)
- 04:40, 19 October 2019 (diff | hist) . . (+83) . . m Library (URL)
- 02:30, 19 October 2019 (diff | hist) . . (+1) . . m N-fold variants (-)
- 10:15, 18 October 2019 (diff | hist) . . (+4) . . m Strong (tall)
- 09:53, 18 October 2019 (diff | hist) . . (+117) . . N-fold variants (→$n$-fold supercompact cardinals: link both ways)
- 09:52, 18 October 2019 (diff | hist) . . (+248) . . Huge (typo; "Here, ''<sup>α</sup>M'' is the class of all sequences of length α whose elements are in M.", http://cantorsattic.info/index.php?title=Upper_attic&diff=3128&oldid=3027 thank you)
- 08:58, 18 October 2019 (diff | hist) . . (+6) . . N-fold variants (→$n$-fold extendible cardinals: precisely $(n+1)$fold strong)
- 08:45, 13 October 2019 (diff | hist) . . (+2) . . m Vopenka (→Vopěnka cardinals: $$)
- 08:18, 13 October 2019 (diff | hist) . . (+315) . . Vopenka (cardinal is cardinal)
- 08:04, 13 October 2019 (diff | hist) . . (+207) . . Extendible (→$A$-extendible cardinals: +2 last)
- 08:03, 13 October 2019 (diff | hist) . . (+517) . . Reflecting cardinals (→Maximality Principle: $Σ_n(A)$-correct)
- 07:54, 13 October 2019 (diff | hist) . . (+1,457) . . Extendible (→$A$-extendible cardinals: some definitions, some names)
- 07:12, 13 October 2019 (diff | hist) . . (+379) . . Extendible (→$A$-extendible cardinals: equivalence)
- 06:29, 13 October 2019 (diff | hist) . . (+29) . . ORD is Mahlo (what seemed obvious)
- 06:28, 13 October 2019 (diff | hist) . . (+246) . . Extendible (→Virtually extendible cardinals: what was solved)
- 06:27, 13 October 2019 (diff | hist) . . (+400) . . Constructible universe (→Implications, equivalences, and consequences of $0^♯$'s existence: what seemed obvious and what was solved, ♯)
- 06:22, 13 October 2019 (diff | hist) . . (+261) . . Vopenka (→Generic: what seemed obvious and what was solved)
- 06:18, 13 October 2019 (diff | hist) . . (+332) . . Remarkable (→Results: what was solved)
- 23:20, 12 October 2019 (diff | hist) . . (+32) . . ORD is Mahlo (Proof includes a lemma stating:)
- 23:20, 12 October 2019 (diff | hist) . . (+18) . . Constructible universe (→Implications, equivalences, and consequences of $0^\#$'s existence: Proof includes a lemma stating:)
- 23:19, 12 October 2019 (diff | hist) . . (+32) . . Vopenka (→Generic: Proof includes a lemma stating:)
- 23:10, 12 October 2019 (diff | hist) . . (+282) . . Constructible universe (→Implications, equivalences, and consequences of $0^\#$'s existence: +1)
- 23:07, 12 October 2019 (diff | hist) . . (-17) . . m ORD is Mahlo (one link!)
- 23:06, 12 October 2019 (diff | hist) . . (-17) . . m Vopenka (→Generic: one link!)
- 23:05, 12 October 2019 (diff | hist) . . (+330) . . Vopenka (→Generic: details for gVS)
- 23:05, 12 October 2019 (diff | hist) . . (+330) . . ORD is Mahlo (details for gVS)
- 22:53, 12 October 2019 (diff | hist) . . (+539) . . m Constructible universe (lemma included)
- 22:52, 12 October 2019 (diff | hist) . . (+470) . . ORD is Mahlo (lemma included)
- 22:50, 12 October 2019 (diff | hist) . . (+7) . . m Vopenka (→Generic: *)
- 22:47, 12 October 2019 (diff | hist) . . (+525) . . Vopenka (→Generic: lemma included)
- 22:02, 12 October 2019 (diff | hist) . . (-27) . . m Constructible universe (→Implications, equivalences, and consequences of $0^\#$'s existence: int this article it is too obvious)
- 21:58, 12 October 2019 (diff | hist) . . (+17) . . m Constructible universe (→Implications, equivalences, and consequences of $0^\#$'s existence: ORD is Mahlo)
- 21:57, 12 October 2019 (diff | hist) . . (+305) . . Constructible universe (→Implications, equivalences, and consequences of $0^\#$'s existence: +1)
- 21:53, 12 October 2019 (diff | hist) . . (-61) . . m Vopenka (→Generic: it was)
- 21:53, 12 October 2019 (diff | hist) . . (+350) . . ORD is Mahlo (+1)
- 21:51, 12 October 2019 (diff | hist) . . (+349) . . Vopenka (→Generic: +1)
- 21:35, 12 October 2019 (diff | hist) . . (+157) . . Vopenka (more details)
- 21:15, 12 October 2019 (diff | hist) . . (+174) . . ORD is Mahlo (more details)
- 20:54, 12 October 2019 (diff | hist) . . (-52) . . m Weakly compact (-duplicate)
- 20:42, 12 October 2019 (diff | hist) . . (+2) . . m Strong (→Facts about Strongness and Hypermeasurability: $$)
- 10:43, 10 October 2019 (diff | hist) . . (+208) . . ORD is Mahlo (+1)
- 10:43, 10 October 2019 (diff | hist) . . (+273) . . Vopenka (→Other points to note: +1)
- 10:39, 10 October 2019 (diff | hist) . . (+680) . . Extendible (→Virtually extendible cardinals: +1)
- 10:39, 10 October 2019 (diff | hist) . . (+680) . . Vopenka (→Generic: +1)
- 10:17, 10 October 2019 (diff | hist) . . (+199) . . Extendible (→Virtually extendible cardinals: +1)
- 10:17, 10 October 2019 (diff | hist) . . (+199) . . Vopenka (→Generic: +1)
- 09:59, 10 October 2019 (diff | hist) . . (+18) . . N Closed unbounded (Redirected page to Club) (current)
- 09:59, 10 October 2019 (diff | hist) . . (0) . . m ORD is Mahlo (link)
- 09:50, 10 October 2019 (diff | hist) . . (+667) . . Reflecting cardinals (→$\Sigma_2$ correct cardinals: more information)
- 09:42, 10 October 2019 (diff | hist) . . (+701) . . Vopenka (Ord is Mahlo)
- 09:39, 10 October 2019 (diff | hist) . . (+393) . . Remarkable (→Results: +1)
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
