History: Constructible universe

12 October 2025

• curprev 21:3621:36, 12 October 2025 GammaRaul talk contribs 8,946 bytes −322 Minor formatting edits and removing empty sections Tag: Source edit

5 May 2025

• curprev 00:3800:38, 5 May 2025 P進大好きbot talk contribs m 9,268 bytes +5 Correcting an ambiguous reference to a model, which usually means a set model in the context of consistency Tag: Source edit

4 May 2025

• curprev 17:5517:55, 4 May 2025 Nihilusbackagain1 talk contribs 9,263 bytes +57 No edit summary Tag: Visual edit
• curprev 17:5417:54, 4 May 2025 Nihilusbackagain1 talk contribs 9,206 bytes +1,818 No edit summary Tag: Visual edit

29 September 2023

• curprev 19:1219:12, 29 September 2023 Fishfishbot talk contribs m 7,388 bytes +13 User blog:Kyodaisuu/Proposal to put navigation links to desktop mode for mobile users

3 June 2022

• curprev 19:4719:47, 3 June 2022 TrialPurpleCube talk contribs 7,375 bytes 0 Undo revision 360651 by TrialPurpleCube (talk) Tag: Undo
• curprev 19:4719:47, 3 June 2022 TrialPurpleCube talk contribs 7,375 bytes 0 No edit summary Tags: Reverted Visual edit

17 April 2021

• curprev 19:0419:04, 17 April 2021 C7X talk contribs 7,375 bytes +56 Specifying Tags: Source edit Mobile edit Mobile web edit

29 March 2021

• curprev 01:5101:51, 29 March 2021 C7X talk contribs 7,319 bytes +4 No edit summary
• curprev 01:5101:51, 29 March 2021 C7X talk contribs 7,315 bytes +1 No edit summary
• curprev 01:5001:50, 29 March 2021 C7X talk contribs 7,314 bytes +8 No edit summary

27 January 2021

• curprev 23:5123:51, 27 January 2021 P進大好きbot talk contribs m 7,306 bytes −5 Undo revision 314661 by C7X (talk) The terminology "formula with parameters" is correct, as it just means "formula in (the language of first order set theory)∪{c_x|x∈X}". (If we quantify it by "some", it causes a trouble when X = ∅.) Tag: Undo
• curprev 23:4423:44, 27 January 2021 C7X talk contribs 7,311 bytes +5 More clear quantification →Hierarchy
• curprev 23:0023:00, 27 January 2021 C7X talk contribs 7,306 bytes 0 →Hierarchy
• curprev 22:5922:59, 27 January 2021 C7X talk contribs 7,306 bytes +342 →Hierarchy

14 January 2021

• curprev 01:5601:56, 14 January 2021 C7X talk contribs 6,964 bytes +15 No edit summary

29 November 2020

• curprev 22:5022:50, 29 November 2020 P進大好きbot talk contribs m 6,949 bytes −16 No edit summary
• curprev 22:5022:50, 29 November 2020 P進大好きbot talk contribs m 6,965 bytes +78 Correction of a wrong characterisation
• curprev 22:0122:01, 29 November 2020 C7X talk contribs 6,887 bytes +138 →Stage ω+1 and beyond
• curprev 22:0022:00, 29 November 2020 C7X talk contribs 6,749 bytes +6 →Hierarchy
• curprev 21:5921:59, 29 November 2020 C7X talk contribs 6,743 bytes −31 →Hierarchy
• curprev 21:5721:57, 29 November 2020 C7X talk contribs 6,774 bytes +169 →Hierarchy
• curprev 21:4321:43, 29 November 2020 C7X talk contribs 6,605 bytes +8 No edit summary
• curprev 21:0021:00, 29 November 2020 C7X talk contribs 6,597 bytes +403 →Example

22 November 2020

• curprev 15:0515:05, 22 November 2020 C7X talk contribs 6,194 bytes −141 →Example
• curprev 15:0415:04, 22 November 2020 C7X talk contribs 6,335 bytes +1 →Example
• curprev 15:0415:04, 22 November 2020 C7X talk contribs 6,334 bytes +1 →Example
• curprev 15:0315:03, 22 November 2020 C7X talk contribs 6,333 bytes +144 →Example

8 July 2020

• curprev 08:5308:53, 8 July 2020 P進大好きbot talk contribs m 6,189 bytes +23 No edit summary

16 April 2020

• curprev 07:2707:27, 16 April 2020 P進大好きbot talk contribs m 6,166 bytes +28 Undo revision 283240 by 12AbBa (talk) I do not think so... Anyway, you do not have to REMOVE the correct explanation. Please ADD information if you think necessiry.
• curprev 07:2207:22, 16 April 2020 12AbBa talk contribs 6,138 bytes +5 Undo revision 283239 by P進大好きbot (talk) aw come on. Many people (including me) don't know what a simple \(aleph\) means.
• curprev 07:0807:08, 16 April 2020 P進大好きbot talk contribs m 6,133 bytes −5 Undo revision 283235 by 12AbBa (talk) It is correct, but we do not have to replace it if it is just a preference.
• curprev 05:4605:46, 16 April 2020 12AbBa talk contribs 6,138 bytes +5 →Example

5 March 2020

• curprev 09:3309:33, 5 March 2020 P進大好きbot talk contribs m 6,133 bytes −1 Undo revision 279753 by 12AbBa (talk) revertig a wrong replacement
• curprev 09:2909:29, 5 March 2020 12AbBa talk contribs m 6,134 bytes +1 →Example

11 February 2020

• curprev 00:0800:08, 11 February 2020 P進大好きbot talk contribs m 6,133 bytes +66 No edit summary

10 February 2020

• curprev 14:3314:33, 10 February 2020 P進大好きbot talk contribs m 6,067 bytes +4 No edit summary
• curprev 14:3114:31, 10 February 2020 P進大好きbot talk contribs m 6,063 bytes 0 No edit summary
• curprev 13:5513:55, 10 February 2020 P進大好きbot talk contribs 6,063 bytes +769 examples
• curprev 07:5407:54, 10 February 2020 P進大好きbot talk contribs m 5,294 bytes +17 No edit summary
• curprev 07:3407:34, 10 February 2020 P進大好きbot talk contribs m 5,277 bytes +381 clarification
• curprev 07:1007:10, 10 February 2020 P進大好きbot talk contribs m 4,896 bytes 0 No edit summary
• curprev 07:0907:09, 10 February 2020 P進大好きbot talk contribs m 4,896 bytes +607 No edit summary
• curprev 07:0207:02, 10 February 2020 P進大好きbot talk contribs m 4,289 bytes −1 No edit summary
• curprev 07:0107:01, 10 February 2020 P進大好きbot talk contribs m 4,290 bytes +1 No edit summary
• curprev 07:0107:01, 10 February 2020 P進大好きbot talk contribs m 4,289 bytes +45 No edit summary
• curprev 07:0007:00, 10 February 2020 P進大好きbot talk contribs m 4,244 bytes +18 miscopying
• curprev 06:5206:52, 10 February 2020 P進大好きbot talk contribs m 4,226 bytes +4 No edit summary
• curprev 06:5106:51, 10 February 2020 P進大好きbot talk contribs m 4,222 bytes +23 No edit summary
• curprev 06:5006:50, 10 February 2020 P進大好きbot talk contribs 4,199 bytes +50 Adding categories