Morse–Kelley set theory: 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 01:1701:17, 3 June 2023‎ JRSpriggs talk contribs‎ 20,940 bytes +8‎ Undid revision 1157678568 by 2A02:6B8:B081:B675:0:0:1:1A (talk) wrong undo Tag: Undo

curprev 07:5107:51, 30 May 2023‎ 2a02:6b8:b081:b675::1:1a talk‎ 20,932 bytes −8‎ →‎MK axioms and ontology undo Tag: Reverted

curprev 11:4911:49, 25 March 2022‎ AdamKolany talk contribs‎ m 20,940 bytes 0‎ →‎References: Wrong publication year undo

curprev 17:3017:30, 3 March 2022‎ GhostInTheMachine talk contribs‎ 20,940 bytes +56‎ Adding local short description: "System of mathematical set theory", overriding Wikidata description "first order axiomatic set theory" (Shortdesc helper) undo

curprev 17:2517:25, 10 September 2021‎ Citation bot talk contribs‎ 20,884 bytes +24‎ Add: doi-access, issue. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 996/1058 undo

curprev 00:5600:56, 15 July 2021‎ Mechachleopteryx talk contribs‎ 20,860 bytes 0‎ →‎The axioms in Kelley's General Topology undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 08:4308:43, 7 May 2021‎ OAbot talk contribs‎ m 20,860 bytes +20‎ Open access bot: doi added to citation with #oabot. undo

curprev 23:0923:09, 17 April 2021‎ 2a02:1812:1700:c500:deb:7f86:ea9e:1817 talk‎ 20,840 bytes −80‎ No edit summary undo

curprev 04:0904:09, 10 January 2021‎ Monkbot talk contribs‎ m 20,920 bytes +3‎ Task 18 (cosmetic): eval 3 templates: hyphenate params (3×); undo Tag: AWB

curprev 01:2201:22, 23 July 2020‎ Omnipaedista talk contribs‎ 20,917 bytes 0‎ fix typo undo

curprev 14:2214:22, 28 April 2020‎ Tea2min talk contribs‎ m 20,917 bytes 0‎ Skip redirect from Domain (mathematics) to Domain of a function. May turn Domain (mathematics) into a redirect to Domain (disambiguation)#Mathematics later. undo

curprev 12:3512:35, 27 April 2020‎ JayBeeEll talk contribs‎ m 20,917 bytes 0‎ replace Range (mathematics) (a redirect to a disambig page) with Range of a function undo

curprev 03:5403:54, 29 March 2020‎ 2601:188:180:b8e0:65f5:930c:b0b2:cd63 talk‎ 20,917 bytes −32‎ Undid revision 947909442 by 92.6.7.172 (talk) undo Tag: Undo
curprev 03:5403:54, 29 March 2020‎ 92.6.7.172 talk‎ 20,949 bytes +32‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 07:4807:48, 9 March 2020‎ Maggyero talk contribs‎ 20,917 bytes +42‎ →‎MK axioms and ontology undo

curprev 17:3217:32, 27 December 2019‎ Rjwilmsi talk contribs‎ m 20,875 bytes +14‎ →‎References: Journal cites:, added 1 PMID undo Tag: AWB

curprev 15:4815:48, 22 December 2019‎ Rjwilmsi talk contribs‎ m 20,861 bytes +30‎ →‎References: Added 1 doi to a journal cite undo Tag: AWB

curprev 11:2511:25, 11 October 2018‎ Texvc2LaTeXBot talk contribs‎ m 20,831 bytes +15‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 20:2520:25, 20 July 2018‎ Tea2min talk contribs‎ 20,816 bytes 0‎ Undid revision 851173168 by 162.238.217.96 (talk): Not typos. undo Tag: Undo
curprev 15:1415:14, 20 July 2018‎ 162.238.217.96 talk‎ 20,816 bytes 0‎ Corrected Typos undo

curprev 17:3717:37, 11 June 2018‎ CBM talk contribs‎ m 20,816 bytes −126‎ copyedit undo

curprev 22:2322:23, 22 May 2018‎ David Eppstein talk contribs‎ 20,942 bytes +18‎ →‎References: Jean E. Rubin undo

curprev 14:2014:20, 18 May 2018‎ Bear-rings talk contribs‎ 20,924 bytes +1‎ foundations of mathematics undo

curprev 20:2820:28, 15 May 2018‎ OAbot talk contribs‎ m 20,923 bytes +12‎ Open access bot: add pmc identifier to citation with #oabot. undo

curprev 23:4323:43, 11 February 2018‎ RJGray talk contribs‎ 20,911 bytes +45‎ →‎References: Mostowski citation: added url and small changes. undo

curprev 18:1018:10, 18 November 2017‎ Omnipaedista talk contribs‎ 20,866 bytes 0‎ No edit summary undo

curprev 04:5304:53, 14 July 2017‎ Mkortink talk contribs‎ 20,866 bytes +7‎ →‎External links undo
curprev 04:4004:40, 14 July 2017‎ Mkortink talk contribs‎ m 20,859 bytes +189‎ I have added a link to a pdf of General Topology by Kelley. The appendix contains the axiomatic development of MK set theory as mentioned in the article. undo

curprev 07:5807:58, 15 March 2017‎ 2605:e000:9050:ba00:50fe:277b:e6bd:4509 talk‎ 20,670 bytes −4‎ Deleted "universal class" link that led to non-mathematical page. undo

curprev 15:1415:14, 31 January 2017‎ Hairy Dude talk contribs‎ 20,674 bytes −1‎ →‎MK axioms and ontology: rm extra apostrophe; semicolon -> full stop undo Tags: Mobile edit Mobile web edit
curprev 15:0615:06, 31 January 2017‎ Hairy Dude talk contribs‎ 20,675 bytes +146‎ →‎MK axioms and ontology: indent only the axioms, using {{block indent}}, and don't split them undo Tags: Mobile edit Mobile web edit

curprev 02:4302:43, 23 December 2016‎ JRSpriggs talk contribs‎ 20,529 bytes +2‎ Undid revision 756267208 by 190.83.227.76 (talk) no undo
curprev 02:3002:30, 23 December 2016‎ 190.83.227.76 talk‎ 20,527 bytes −2‎ →‎MK axioms and ontology: Fixed axiom of foundation: should read every *set* is disjoint from one of its elements (not *class*) undo Tags: Mobile edit Mobile web edit

curprev 00:1200:12, 28 September 2016‎ JRSpriggs talk contribs‎ 20,529 bytes −6‎ Undid revision 741455025 by 112.134.81.155 (talk) What does "local-universally" mean? undo

curprev 16:2216:22, 27 September 2016‎ 112.134.81.155 talk‎ 20,535 bytes +6‎ Added a missing detail, if anyone is interested contact me. undo Tags: Visual edit Mobile edit Mobile web edit

curprev 00:1100:11, 1 September 2016‎ JRSpriggs talk contribs‎ 20,529 bytes +117‎ →‎Model theory: Mendelson's version undo

curprev 21:1121:11, 31 July 2016‎ Rjwilmsi talk contribs‎ m 20,412 bytes +120‎ →‎References: Journal cites:, templated 1 journal cites using AWB (12061) undo
curprev 10:4410:44, 31 July 2016‎ Rjwilmsi talk contribs‎ m 20,292 bytes +26‎ →‎References: Journal cites, Added 1 doi to a journal cite using AWB (12061) undo

curprev 21:3921:39, 18 July 2016‎ Chris the speller talk contribs‎ m 20,266 bytes −1‎ →‎top: replaced: text book → textbook using AWB undo

curprev 16:5116:51, 15 June 2016‎ Headbomb talk contribs‎ m 20,267 bytes −1‎ →‎References: clean up, replaced: Proc. Nat. Acad. Sci. U. S. A. → Proc. Natl. Acad. Sci. U.S.A. using AWB undo

curprev 22:0122:01, 17 May 2016‎ 108.30.95.177 talk‎ 20,268 bytes +44‎ Added yet another name for MK found in the literature---cf. R. Chuaqui, Internal and forcing models for the impredicative theory of classes, 1980. undo

curprev 15:2715:27, 22 December 2015‎ Alan U. Kennington talk contribs‎ m 20,224 bytes +45‎ →‎References: Added links for Lemmon and Mendelson. undo

curprev 16:0916:09, 13 October 2015‎ Sweepy talk contribs‎ m 20,179 bytes +29‎ No edit summary undo

curprev 08:0208:02, 2 July 2015‎ Tea2min talk contribs‎ 20,150 bytes +6‎ →‎References: Make use of the authorlink parameter of the citation template. undo

curprev 19:0719:07, 1 July 2015‎ Nikitadanilov talk contribs‎ m 20,144 bytes +23‎ Wikify Wang Hao. undo

3 June 2023

30 May 2023

25 March 2022

3 March 2022

10 September 2021

15 July 2021

7 May 2021

17 April 2021

10 January 2021

23 July 2020

28 April 2020

27 April 2020

29 March 2020

9 March 2020

27 December 2019

22 December 2019

11 October 2018

20 July 2018

11 June 2018

22 May 2018

18 May 2018

15 May 2018

11 February 2018

18 November 2017

14 July 2017

15 March 2017

31 January 2017

23 December 2016

29 September 2016

28 September 2016

27 September 2016

1 September 2016

31 July 2016

18 July 2016

15 June 2016

17 May 2016

22 December 2015

13 October 2015

2 July 2015

1 July 2015