List of statements independent of ZFC: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 23:2523:25, 29 June 2024‎ David Eppstein talk contribs‎ 18,274 bytes +98‎ →‎Topology: spell out acronyms undo
curprev 23:2423:24, 29 June 2024‎ David Eppstein talk contribs‎ 18,176 bytes +28‎ standardize on cs1 undo
curprev 23:2323:23, 29 June 2024‎ David Eppstein talk contribs‎ 18,148 bytes +94‎ →‎Topology: rm vague sunrouced hint at possible content; supply requested citation undo

curprev 00:0400:04, 25 September 2023‎ AnomieBOT talk contribs‎ m 18,054 bytes −12‎ Substing templates: {{Format ISBN}}. See User:AnomieBOT/docs/TemplateSubster for info. undo

curprev 23:3823:38, 24 September 2023‎ Trappist the monk talk contribs‎ m 18,066 bytes +24‎ cite repair; undo Tag: AWB

curprev 18:3718:37, 22 September 2023‎ 178.115.58.60 talk‎ 18,042 bytes +274‎ →‎Axiomatic set theory: Making soundness assumptions explicit undo

curprev 18:4218:42, 7 August 2022‎ Citation bot talk contribs‎ 17,768 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Wikipedia articles needing clarification from July 2022 | #UCB_Category 101/810 undo

curprev 12:4512:45, 5 July 2022‎ LaundryPizza03 talk contribs‎ 17,752 bytes +572‎ →‎Functional analysis: Wetzel's problem undo
curprev 10:4310:43, 5 July 2022‎ LaundryPizza03 talk contribs‎ 17,180 bytes +497‎ →‎Topology: S-space undo

curprev 01:4801:48, 7 June 2022‎ LaundryPizza03 talk contribs‎ 16,683 bytes +27‎ →‎Axiomatic set theory: define this first undo

curprev 12:5012:50, 5 April 2022‎ Colonies Chris talk contribs‎ m 16,656 bytes −70‎ minor fixes undo Tag: AWB

curprev 20:1820:18, 4 March 2022‎ Qwerfjkl (bot) talk contribs‎ m 16,726 bytes −18‎ Changing short description "Wikipedia list article" to "None" per WP:SDNONE (via Bandersnatch) undo

curprev 20:4920:49, 15 January 2022‎ Mgkrupa talk contribs‎ m 16,744 bytes +56‎ Added {{Mathematical logic}} undo

curprev 16:2416:24, 2 December 2021‎ Citation bot talk contribs‎ 16,688 bytes +44‎ Alter: url. URLs might have been anonymized. Add: s2cid, issue, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 1883/2200 undo

curprev 09:3009:30, 31 July 2021‎ TheMathCat talk contribs‎ 16,644 bytes +520‎ references corrected (the first cited Shelah paper, "Free limits of forcing..." was mixed with another paper of the same author) and updated (Farah paper) undo

curprev 14:5014:50, 6 May 2021‎ OAbot talk contribs‎ m 16,124 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 21:1921:19, 28 April 2021‎ Bender the Bot talk contribs‎ m 16,108 bytes +1‎ →‎Abstract algebra: HTTP → HTTPS for the American Mathematical Society, replaced: = http://www.ams.org/ → = https://www.ams.org/ undo Tag: AWB

curprev 21:1921:19, 21 April 2021‎ SixTwoEight talk contribs‎ 16,107 bytes +30‎ →‎Axiomatic set theory: link directly to 2nd incompleteness theorem undo Tag: 2017 wikitext editor

curprev 18:1518:15, 21 December 2020‎ Tom.Reding talk contribs‎ m 16,077 bytes +54‎ Enum 2 author/editor WLs; WP:GenFixes on undo Tag: AWB

curprev 05:3905:39, 11 December 2020‎ Monkbot talk contribs‎ m 16,023 bytes −14‎ Task 18 (cosmetic): eval 14 templates: del empty params (2×); hyphenate params (2×); undo Tag: AWB

curprev 09:4709:47, 7 December 2020‎ WikiCleanerBot talk contribs‎ m 16,037 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 21:3321:33, 12 October 2020‎ Googol30 talk contribs‎ 16,037 bytes +251‎ MOS:NOSECTIONLINKS undo

curprev 23:3823:38, 20 June 2020‎ OAbot talk contribs‎ m 15,786 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 03:5503:55, 20 May 2020‎ Citation bot talk contribs‎ 15,769 bytes +5‎ Alter: url. | You can use this bot yourself. Report bugs here. | Activated by Amigao | Category:Mathematics-related lists | via #UCB_Category undo

curprev 16:5516:55, 29 April 2020‎ Citation bot talk contribs‎ 15,764 bytes −35‎ Alter: url, pages. Add: jstor, class, doi, volume, isbn, issue. Removed URL that duplicated unique identifier. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by Headbomb | via #UCB_webform undo

curprev 14:1014:10, 16 April 2020‎ OAbot talk contribs‎ m 15,799 bytes +79‎ Open access bot: hdl, doi added to citation with #oabot. undo

curprev 13:0013:00, 1 April 2020‎ Rjwilmsi talk contribs‎ m 15,720 bytes +30‎ →‎[[Number theory]]: Journal cites:, added 1 DOI undo Tag: AWB

curprev 18:5318:53, 30 March 2020‎ Bernanke's Crossbow talk contribs‎ 15,690 bytes +78‎ →‎Number theory: Cleanup undo
curprev 18:4818:48, 30 March 2020‎ Bernanke's Crossbow talk contribs‎ 15,612 bytes −79‎ →‎Number theory: Clarified that circular reference was not src, but explanatory note undo

curprev 20:2820:28, 16 March 2020‎ Lepricavark talk contribs‎ m 15,691 bytes +45‎ →‎top: added short description undo Tag: AWB

curprev 03:1403:14, 10 March 2020‎ 2607:fea8:bda0:9b20:79d5:f5d5:19d3:5c74 talk‎ 15,646 bytes +3‎ No edit summary undo

curprev 21:2921:29, 16 February 2020‎ JRSpriggs talk contribs‎ 15,643 bytes −128‎ undo two edits by 183.178.170.77 -- the axiom of choice implies that a countable union of countable sets is countable and thus is not omega_1. undo
curprev 16:0516:05, 16 February 2020‎ 183.178.170.77 talk‎ 15,771 bytes +21‎ No edit summary undo
curprev 16:0416:04, 16 February 2020‎ 183.178.170.77 talk‎ 15,750 bytes +107‎ →‎Axiomatic set theory undo

curprev 22:1422:14, 18 December 2019‎ The Anome talk contribs‎ 15,643 bytes +14‎ (the canonical axiomatic set theory of contemporary mathematics, consisting of the Zermelo–Fraenkel axioms plus the axiom of choice) undo Tag: Visual edit

curprev 05:0905:09, 25 November 2019‎ David Eppstein talk contribs‎ 15,629 bytes +89‎ Marcia Groszek and Theodore Slaman undo

curprev 00:1200:12, 17 October 2019‎ JRSpriggs talk contribs‎ 15,540 bytes 0‎ →‎Order theory: link to "Every Aronszajn tree is special" undo

curprev 21:2021:20, 15 October 2019‎ JRSpriggs talk contribs‎ 15,540 bytes +41‎ →‎Axiomatic set theory: links to explain SH and EATS undo
curprev 21:1721:17, 15 October 2019‎ JRSpriggs talk contribs‎ 15,499 bytes +4‎ →‎Order theory: link to "Aronszajn tree" undo
curprev 08:2508:25, 15 October 2019‎ 185.24.187.196 talk‎ 15,495 bytes +65‎ →‎Axiomatic set theory undo
curprev 08:2008:20, 15 October 2019‎ 185.24.187.196 talk‎ 15,430 bytes +17‎ →‎Axiomatic set theory undo

curprev 12:5312:53, 27 August 2019‎ 78.104.0.209 talk‎ 15,413 bytes 0‎ →‎Axiomatic set theory: End list item with semicolon undo
curprev 12:5212:52, 27 August 2019‎ 78.104.0.209 talk‎ 15,413 bytes +42‎ →‎Axiomatic set theory: More explicit reformulation undo
curprev 12:4912:49, 27 August 2019‎ 78.104.0.209 talk‎ 15,371 bytes +50‎ →‎Axiomatic set theory: Add consistency mentioned in plain text also to the list undo

curprev 15:3115:31, 10 August 2019‎ Bender235 talk contribs‎ m 15,321 bytes −82‎ No edit summary undo

curprev 16:5516:55, 6 May 2019‎ FrescoBot talk contribs‎ m 15,403 bytes +36‎ Bot: link syntax undo

curprev 03:0503:05, 18 March 2019‎ 七星之城 talk contribs‎ m 15,367 bytes +205‎ add reference undo
curprev 02:2202:22, 18 March 2019‎ 七星之城 talk contribs‎ m 15,162 bytes +128‎ add reference to number theory part undo
curprev 02:2002:20, 18 March 2019‎ 七星之城 talk contribs‎ 15,034 bytes +786‎ Undid revision 888272170 by 七星之城 (talk) undo Tag: Undo
curprev 01:5201:52, 18 March 2019‎ 七星之城 talk contribs‎ 14,248 bytes −786‎ Remove number theory part undo

29 June 2024

25 September 2023

24 September 2023

22 September 2023

7 August 2022

5 July 2022

7 June 2022

5 April 2022

4 March 2022

15 January 2022

2 December 2021

31 July 2021

6 May 2021

28 April 2021

21 April 2021

21 December 2020

11 December 2020

7 December 2020

12 October 2020

20 June 2020

20 May 2020

29 April 2020

16 April 2020

1 April 2020

30 March 2020

16 March 2020

10 March 2020

16 February 2020

18 December 2019

25 November 2019

17 October 2019

15 October 2019

27 August 2019

10 August 2019

6 May 2019

18 March 2019