Constructible universe: Revision history

3 May 2025

• curprev 15:1815:18, 3 May 2025 JRSpriggs talk contribs 32,442 bytes +14 →L is absolute and minimal: order-indiscernible undo
• curprev 07:3107:31, 3 May 2025 2a02:8428:687:501:385d:bd04:491a:aa2d talk 32,428 bytes −2 →L is absolute and minimal: moved a reference to the firet occurrence of the notion. undo Tags: Mobile edit Mobile web edit
• curprev 07:3007:30, 3 May 2025 2a02:8428:687:501:385d:bd04:491a:aa2d talk 32,430 bytes −15 →L is absolute and minimal: remove standard synonym for inner since it is ambiguous undo Tags: Mobile edit Mobile web edit

26 January 2025

• curprev 22:3222:32, 26 January 2025 Philologer talk contribs m 32,445 bytes +4 →What L is: roman > italic undo

27 December 2024

• curprev 12:4312:43, 27 December 2024 Hairy Dude talk contribs 32,441 bytes +140 →What L is: reduce vertical spacing somewhat using display="inline" undo Tags: Mobile edit Mobile web edit Advanced mobile edit

19 December 2024

• curprev 02:5702:57, 19 December 2024 Dean p foster talk contribs m 32,301 bytes 0 strange line break at some screen widths undo

24 November 2024

• curprev 22:5322:53, 24 November 2024 A1244 talk contribs 32,301 bytes +25 →See also undo Tag: Visual edit

28 August 2024

• curprev 05:1005:10, 28 August 2024 Tea2min talk contribs 32,276 bytes 0 Undid revision 1242671365 by 76.168.163.71 (talk) undo Tag: Undo
• curprev 02:3102:31, 28 August 2024 76.168.163.71 talk 32,276 bytes 0 No edit summary undo Tag: Reverted

31 December 2023

• curprev 02:0902:09, 31 December 2023 2601:681:5781:fdc0:f516:d702:dc7b:1562 talk 32,276 bytes +1 Added a period to →The generalized continuum hypothesis holds in L undo

2 December 2023

• curprev 17:0617:06, 2 December 2023 92.27.55.221 talk 32,275 bytes −7 Fixing title undo

13 October 2023

• curprev 01:3401:34, 13 October 2023 Hpecora1 talk contribs 32,282 bytes −14 Changed displays to math displays. undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 01:3201:32, 13 October 2023 Hpecora1 talk contribs 32,296 bytes −1 Changed display math display to be movable on mobile. Predicate defining Def was too long to fit on screen. undo Tags: Mobile edit Mobile app edit iOS app edit

6 September 2023

• curprev 21:4221:42, 6 September 2023 77.38.2.173 talk 32,297 bytes +14 →Additional facts about the sets L_alpha undo

3 August 2023

• curprev 08:0608:06, 3 August 2023 C7XWiki talk contribs 32,283 bytes −419 FOrmatting undo
• curprev 06:5506:55, 3 August 2023 C7XWiki talk contribs 32,702 bytes +278 "Proper subclass" may be ambiguous, as L is always a proper class but the inclusion may not be proper undo

28 April 2023

• curprev 08:1108:11, 28 April 2023 C7XWiki talk contribs 32,424 bytes −38 Two sources →What {{var|L}} is undo

12 April 2023

• curprev 00:3300:33, 12 April 2023 Ffffrr talk contribs 32,462 bytes +104 Importing Wikidata short description: "Particular class of sets which can be described entirely in terms of simpler sets" undo Tag: Shortdesc helper

8 March 2023

• curprev 00:2700:27, 8 March 2023 DimenErno talk contribs m 32,358 bytes +17 →What {{var|L}} is: Deep linked 'parameter' to logic section undo

20 February 2023

• curprev 07:3107:31, 20 February 2023 Salix alba talk contribs 32,341 bytes +5 →What {{var|L}} is: fix math syntax error, changing back to latex version of previous edit, needs checking undo
• curprev 07:0507:05, 20 February 2023 C7XWiki talk contribs 32,336 bytes +258 →What {{var|L}} is undo

17 January 2023

• curprev 01:3201:32, 17 January 2023 JRSpriggs talk contribs 32,078 bytes −3 →{{var|L}} is a standard inner model of ZFC: remove "it" after it was replaced as the subject of the sentence undo

16 January 2023

• curprev 07:0307:03, 16 January 2023 C7XWiki talk contribs 32,081 bytes +132 Extra citation for separation →{{var|L}} is a standard inner model of ZFC undo
• curprev 06:5306:53, 16 January 2023 AnomieBOT talk contribs m 31,949 bytes +18 Dating maintenance tags: {{Citation needed}} undo
• curprev 04:5304:53, 16 January 2023 C7XWiki talk contribs 31,931 bytes −23 →{{mvar|L}} is absolute and minimal undo
• curprev 04:3904:39, 16 January 2023 C7XWiki talk contribs 31,954 bytes −75 →{{var|L}} is a standard inner model of ZFC undo
• curprev 04:3404:34, 16 January 2023 C7XWiki talk contribs 32,029 bytes +19 Sounds like a well-known fact, possibly Silver's →{{mvar|L}} and large cardinals undo
• curprev 04:3004:30, 16 January 2023 C7XWiki talk contribs 32,010 bytes +40 The real element relationship is always used during the common abuse of notation X for (X,∈) →{{var|L}} is a standard inner model of ZFC undo
• curprev 04:2804:28, 16 January 2023 C7XWiki talk contribs 31,970 bytes +2 →{{var|L}} is a standard inner model of ZFC undo
• curprev 04:2704:27, 16 January 2023 C7XWiki talk contribs 31,968 bytes +56 →{{var|L}} is a standard inner model of ZFC undo
• curprev 04:2504:25, 16 January 2023 C7XWiki talk contribs 31,912 bytes +38 →What {{var|L}} is undo

6 August 2022

• curprev 23:3923:39, 6 August 2022 Mgkrupa talk contribs 31,874 bytes +23 Added {{Mathematical logic}} undo

17 May 2022

• curprev 08:3108:31, 17 May 2022 Thatsme314 talk contribs m 31,851 bytes +6 improve writing undo

26 February 2022

• curprev 22:5322:53, 26 February 2022 JRSpriggs talk contribs 31,845 bytes +4 Undid revision 1074091556 by C7XWiki (talk) there is only one. so "the" is appropriate undo Tag: Undo
• curprev 10:2310:23, 26 February 2022 C7XWiki talk contribs 31,841 bytes −4 No edit summary undo Tags: Reverted Visual edit

16 December 2021

• curprev 08:0808:08, 16 December 2021 Cedar101 talk contribs m 31,845 bytes +159 →{{var|L}} is absolute and minimal: {{mvar}} undo
• curprev 08:0208:02, 16 December 2021 Cedar101 talk contribs m 31,686 bytes +156 →{{var|L}} can be well-ordered: {{mvar}} undo

5 October 2021

• curprev 07:0707:07, 5 October 2021 Tea2min talk contribs 31,530 bytes +48 →top: Add inline definition of "ZF". undo
• curprev 07:0407:04, 5 October 2021 Tea2min talk contribs 31,482 bytes −1 Undid revision 1048238691 by CFjohnny1955 (talk): "ZF" here means ZFC without the Axiom of choice ("ZFC minus AC"). undo Tag: Undo

4 October 2021

• curprev 23:4123:41, 4 October 2021 CFjohnny1955 talk contribs m 31,483 bytes +1 ce; changed ZF to ZFC for consistency undo Tags: Reverted Visual edit: Switched

25 August 2021

• curprev 22:4722:47, 25 August 2021 Citation bot talk contribs 31,482 bytes +52 Add: doi-access, bibcode. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 380/1015 undo

13 May 2021

• curprev 02:2802:28, 13 May 2021 C7XWiki talk contribs 31,430 bytes −1 →Additional facts about the sets {{var|L}}{{sub|{{var|α}}}} undo
• curprev 02:2702:27, 13 May 2021 C7XWiki talk contribs 31,431 bytes +153 Correcting my last edits →Additional facts about the sets {{var|L}}{{sub|{{var|α}}}} undo
• curprev 02:2402:24, 13 May 2021 C7XWiki talk contribs 31,278 bytes +16 Clarification →What {{var|L}} is undo
• curprev 02:2302:23, 13 May 2021 C7XWiki talk contribs 31,262 bytes +37 →Additional facts about the sets {{var|L}}{{sub|{{var|α}}}} undo
• curprev 02:2002:20, 13 May 2021 C7XWiki talk contribs 31,225 bytes +18 Due to the differences between "Δ0-definable in X" and "Δ0-definable in Def(X)" →Additional facts about the sets {{var|L}}{{sub|{{var|α}}}} undo

9 January 2021

• curprev 06:4606:46, 9 January 2021 Monkbot talk contribs m 31,207 bytes +3 Task 18 (cosmetic): eval 6 templates: hyphenate params (3×); undo Tag: AWB

19 December 2020

• curprev 00:2800:28, 19 December 2020 Jonesey95 talk contribs 31,204 bytes +252 fix template braces (prevent page from showing up on error lists). I think I got all of them and preserved the notation, but if I didn't, feel free to revert, fix, or convert to math notation. undo Tag: nowiki added

28 August 2020

• curprev 20:5420:54, 28 August 2020 Lester Mobley talk contribs m 30,952 bytes +16 italicize L undo
• curprev 20:4920:49, 28 August 2020 Lester Mobley talk contribs m 30,936 bytes +6 denoted --> denoted by undo