Kripke–Platek set theory with urelements: 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 21:2321:23, 21 April 2024 Tule-hog talk contribs m 4,774 bytes +339 fix dead external links undo

curprev 09:2909:29, 3 August 2023 Cewbot talk contribs m 4,435 bytes 0 Fixing broken anchor: Incorrect capitalization/spaced section title #relative constructibility→Constructible universe#Relative constructibility undo

curprev 20:1620:16, 15 July 2023 C7XWiki talk contribs 4,435 bytes −1 →Axioms undo

curprev 17:3117:31, 3 March 2022 GhostInTheMachine talk contribs 4,436 bytes +56 Adding local short description: "System of mathematical set theory", overriding Wikidata description "axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke-Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU" (Shortdesc helper) undo

curprev 20:4320:43, 18 January 2022 PrimeBOT talk contribs m 4,380 bytes −71 →top: Task 24: remove a maintenance template following a TFD undo Tag: AWB

curprev 17:5917:59, 4 December 2017 Colonies Chris talk contribs 4,451 bytes +2 →top undo

curprev 20:1820:18, 10 November 2016 CitationCleanerBot talk contribs m 4,449 bytes −27 clean up, url redundant with jstor, and/or remove accessdate if no url using AWB undo

curprev 14:5314:53, 12 April 2016 Chalst talk contribs m 4,476 bytes −8 →Axioms: Add dots to make formulae easier to read undo

curprev 23:4623:46, 16 March 2016 BG19bot talk contribs m 4,484 bytes −7 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 14:2114:21, 15 August 2014 Rjwilmsi talk contribs m 4,491 bytes +22 →References: Journal cites, Added 1 doi to a journal cite using AWB (10365) undo

curprev 07:0807:08, 11 May 2013 Bility talk contribs m 4,469 bytes −1 Template:Expert-subject-multiple → Template:Expert-subject per TfD using AWB undo

curprev 09:4509:45, 20 April 2013 Yobot talk contribs m 4,470 bytes −2 →External links: WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

curprev 05:3405:34, 18 April 2013 Ben Standeven talk contribs 4,472 bytes +184 Hard to do in KP, but not so hard in ZF. undo
curprev 05:3005:30, 18 April 2013 Ben Standeven talk contribs 4,288 bytes +316 explain what the theory is for. undo
curprev 05:1205:12, 18 April 2013 Ben Standeven talk contribs 3,972 bytes 0 →Axioms: fixing the types of the union axiom. undo
curprev 05:1005:10, 18 April 2013 Ben Standeven talk contribs 3,972 bytes 0 →Axioms: fixing the foundation scheme. undo

curprev 20:3220:32, 20 January 2013 RJGray talk contribs 3,972 bytes +221 →References: Added date, link, and used citation templates. undo

curprev 00:1500:15, 10 May 2012 Helpful Pixie Bot talk contribs m 3,751 bytes +3 ISBNs (Build KE) undo

curprev 12:5212:52, 27 March 2011 Rich Farmbrough talk contribs m 3,748 bytes +73 Date maintenance tags and general fixes: build a598: using AWB undo

curprev 07:2007:20, 19 December 2010 Crasshopper talk contribs m 3,675 bytes +57 request for expert to compare & contrast KPU to other axiomatizations undo

curprev 13:3013:30, 3 February 2009 Turms talk contribs m 3,618 bytes +21 →See also undo

curprev 18:0818:08, 4 June 2008 Unzerlegbarkeit talk contribs m 3,597 bytes +10 →Axioms: link axiom schema of predicative separation undo

curprev 04:0504:05, 14 June 2007 Cronholm144 talk contribs 3,587 bytes −2 clean up and/or add/rm math rating template using AWB undo

curprev 09:5009:50, 4 February 2007 202.36.179.65 talk 3,589 bytes +9 →References: typos undo
curprev 09:4909:49, 4 February 2007 202.36.179.65 talk 3,580 bytes −1 →References: reformat undo

curprev 22:3222:32, 1 February 2007 Zero sharp talk contribs 3,581 bytes +7 →External links: comment out broken link undo

curprev 16:2016:20, 14 October 2006 Charles Matthews talk contribs m 3,574 bytes +24 +cat undo

curprev 09:1709:17, 12 October 2006 Charles Matthews talk contribs m 3,550 bytes −24 rm cat undo
curprev 05:3305:33, 12 October 2006 JRSpriggs talk contribs 3,574 bytes +35 →External links: add to category "Systems of set theory" undo

curprev 06:0406:04, 29 April 2006 Jon Awbrey talk contribs m 3,539 bytes +4 proper link undo
curprev 06:0006:00, 29 April 2006 Jon Awbrey talk contribs m 3,535 bytes 0 moved Kripke-Platek set theory with urelements to Kripke–Platek set theory with urelements: standard ndash undo
curprev 05:5605:56, 29 April 2006 Jon Awbrey talk contribs m 3,535 bytes +6 sub [–/-] undo

curprev 06:4306:43, 20 April 2006 JRSpriggs talk contribs 3,529 bytes +239 →External links: add links and reference undo

curprev 09:5009:50, 19 April 2006 JRSpriggs talk contribs 3,290 bytes −5 →Axioms: removed restriction of universal quantifier to b in axiom of separation undo

curprev 10:0710:07, 4 July 2005 128.214.72.22 talk 3,295 bytes +2 →Axioms undo

curprev 03:2803:28, 7 May 2005 Mathbot talk contribs 3,293 bytes 0 "Made section headings conform to the Wikipedia:Manual of Style#Headings. This is a semi-automatic update" undo

curprev 02:4202:42, 14 April 2005 Mathbot talk contribs 3,293 bytes −2 "Removed extra blank lines." undo

curprev 16:4216:42, 7 March 2005 155.232.250.19 talk 3,295 bytes +520 No edit summary undo
curprev 16:0016:00, 7 March 2005 155.232.250.19 talk 2,775 bytes +1 →Preliminaries: typo undo

21 April 2024

3 August 2023

15 July 2023

3 March 2022

18 January 2022

4 December 2017

10 November 2016

12 April 2016

16 March 2016

15 August 2014

11 May 2013

20 April 2013

18 April 2013

20 January 2013

10 May 2012

27 March 2011

19 December 2010

3 February 2009

4 June 2008

14 June 2007

4 February 2007

1 February 2007

14 October 2006

12 October 2006

29 April 2006

20 April 2006

19 April 2006

4 July 2005

7 May 2005

14 April 2005

7 March 2005

5 March 2005