Recent changes
Track the most recent changes to the wiki on this page.
5 August 2022
- (diff | hist) . . Heights of models; 23:48 . . (+546) . . C7X (Talk | contribs) (Counterexample)
29 July 2022
- (diff | hist) . . Wholeness axioms; 19:24 . . (+32) . . C7X (Talk | contribs)
- (diff | hist) . . Upper attic; 19:22 . . (0) . . C7X (Talk | contribs)
- (diff | hist) . . Constructible universe; 19:19 . . (+22) . . C7X (Talk | contribs) (→Implications, equivalences, and consequences of $0^\sharp$'s existence)
- (diff | hist) . . m Constructible universe; 19:17 . . (+8) . . C7X (Talk | contribs) (→The difference between $L_\alpha$ and $V_\alpha$)
- (diff | hist) . . Constructible universe; 19:13 . . (+17) . . C7X (Talk | contribs) (→Implications, equivalences, and consequences of $0^\sharp$'s existence)
- (diff | hist) . . Constructible universe; 19:10 . . (+127) . . C7X (Talk | contribs) (Likely more standard TeX formatting →Sharps)
- (diff | hist) . . Constructible universe; 19:07 . . (+2) . . C7X (Talk | contribs) (Likely more standard TeX →Generalisations)
- (diff | hist) . . Constructible universe; 19:06 . . (+514) . . C7X (Talk | contribs) (→Implications, equivalences, and consequences of $0^♯$'s existence)
- (diff | hist) . . Library; 19:04 . . (+292) . . C7X (Talk | contribs) (Reference for 0# →Library holdings)