Changes related to "Category:Cantor's Attic"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Pages on your watchlist are bold.
15 May 2022
- (diff | hist) . . Weakly compact; 06:38 . . (+1) . . BartekChom (Talk | contribs) (\implies!)
14 May 2022
- (diff | hist) . . Weakly compact; 23:07 . . (+466) . . BartekChom (Talk | contribs) (2-regular)
- (diff | hist) . . Reflecting ordinal; 22:32 . . (+728) . . BartekChom (Talk | contribs) (→Properties: theorem 1.9)
- (diff | hist) . . Forcing; 13:27 . . (+196) . . BartekChom (Talk | contribs) (→Bounded Forcing Axiom: BPFA implies $\mathfrak{c} = \aleph_2$)
- (diff | hist) . . Axioms of generic absoluteness; 13:15 . . (+236) . . BartekChom (Talk | contribs) (→Results for $H(ω_2)$ and $Σ_1$: correction, +2)
- (diff | hist) . . Reflecting cardinals; 12:56 . . (+54) . . BartekChom (Talk | contribs) (: ''Not to be confused with reflecting ordinals.'')
- (diff | hist) . . m Axioms of generic absoluteness; 12:51 . . (+1,053) . . BartekChom (Talk | contribs) (reflecting)
- (diff | hist) . . m Reflecting cardinals; 12:47 . . (-4) . . BartekChom (Talk | contribs) (→$\Sigma_2$-correct cardinals: -[[]])
- (diff | hist) . . m ORD is Mahlo; 12:43 . . (+21) . . BartekChom (Talk | contribs) (reflecting)
- (diff | hist) . . Admissible; 12:30 . . (-9) . . C7X (Talk | contribs)
- (diff | hist) . . Admissible; 12:30 . . (+247) . . C7X (Talk | contribs) (Link to relevant section)
- (diff | hist) . . Heights of models; 12:29 . . (+82) . . C7X (Talk | contribs) (Link to relevant section)
- (diff | hist) . . Admissible; 12:22 . . (+129) . . C7X (Talk | contribs) (→$\Sigma_n$-admissible)
- (diff | hist) . . Admissible; 12:20 . . (-17) . . C7X (Talk | contribs) (Formatting →Cofinality and projectum)
- (diff | hist) . . Admissible; 12:20 . . (-16) . . C7X (Talk | contribs) (→Properties)
- (diff | hist) . . Admissible; 12:19 . . (+6) . . C7X (Talk | contribs)
- (diff | hist) . . Indescribable; 12:17 . . (-6) . . BartekChom (Talk | contribs) (weak is apparently not default)
- (diff | hist) . . Heights of models; 12:11 . . (+8) . . C7X (Talk | contribs)
- (diff | hist) . . Admissible; 12:10 . . (+14) . . C7X (Talk | contribs)
- (diff | hist) . . m Admissible; 08:10 . . (+4) . . BartekChom (Talk | contribs) (→Equivalent definitions: the)
- (diff | hist) . . m Reflecting ordinal; 08:09 . . (+4) . . BartekChom (Talk | contribs) (→Properties: the)
- (diff | hist) . . Admissible; 08:08 . . (+146) . . BartekChom (Talk | contribs) (→Equivalent definitions: $Π_2$-reflecting ordinals)
- (diff | hist) . . Reflecting ordinal; 08:07 . . (+942) . . BartekChom (Talk | contribs) (→Properties: properties)
- (diff | hist) . . Admissible; 07:51 . . (+393) . . BartekChom (Talk | contribs) (2-admissible)
- (diff | hist) . . Admissible; 07:22 . . (+541) . . BartekChom (Talk | contribs) (→Higher admissibility: 2-admissible almost defined)
- (diff | hist) . . Reflecting ordinal; 07:05 . . (+447) . . BartekChom (Talk | contribs) (→Definition: from this point of view we have a theorem)
- (diff | hist) . . Indescribable; 06:56 . . (+319) . . BartekChom (Talk | contribs) (→Facts: analogy)
- (diff | hist) . . Weakly compact; 06:49 . . (+378) . . BartekChom (Talk | contribs) (→$\Sigma_n$-weakly compact etc.: recursive analogue)
- (diff | hist) . . m Admissible; 06:41 . . (+4) . . BartekChom (Talk | contribs) (→Computably inaccessible ordinal: [[]])
- (diff | hist) . . Admissible; 06:40 . . (+229) . . BartekChom (Talk | contribs) (→Recursively Mahlo and further: RichterAczel1974:InductiveDefinitions)
- (diff | hist) . . m Indescribable; 06:22 . . (-6) . . BartekChom (Talk | contribs) (→Indescribable on a set: it seems that in modern terminology strong indescribability is default)
- (diff | hist) . . Indescribable; 06:18 . . (+389) . . BartekChom (Talk | contribs) (→Facts: weakly and strongly indescribable)
- (diff | hist) . . Indescribable; 01:59 . . (+1,197) . . BartekChom (Talk | contribs) (→Indescribable on a set: strongly indescribable, reflecting ordinal)
- (diff | hist) . . Reflecting ordinal; 01:43 . . (+25) . . BartekChom (Talk | contribs) (definition 1.7)
- (diff | hist) . . m Library; 01:40 . . (-2) . . BartekChom (Talk | contribs) (→Library holdings: -:P!)
- (diff | hist) . . Reflecting ordinal; 01:39 . . (-21) . . BartekChom (Talk | contribs) ((compare))
- (diff | hist) . . Library; 01:29 . . (+236) . . BartekChom (Talk | contribs) (→Library holdings: from Reflecting ordinal)
13 May 2022
- (diff | hist) . . Mahlo; 11:25 . . (+479) . . BartekChom (Talk | contribs) (Mahlo on a set)
- (diff | hist) . . Indescribable; 11:11 . . (+1,785) . . BartekChom (Talk | contribs) (Indescribable on a set)
- (diff | hist) . . Stable; 09:32 . . (-152) . . BartekChom (Talk | contribs) (<cite>RichterAczel1974:InductiveDefinitions</cite>)
- (diff | hist) . . Library; 09:20 . . (+583) . . BartekChom (Talk | contribs) (→Library holdings: RichterAczel1974:InductiveDefinitions)
