Jump to content

Kripke–Platek set theory: Revision history

View logs for this page (view filter log)

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 12:1912:19, 1 January 2024‎ RhubarbJayde talk contribs‎ 8,477 bytes −55‎ →‎Related definitions undo Tag: Visual edit: Switched

curprev 10:0810:08, 11 June 2023‎ 185.101.90.195 talk‎ 8,532 bytes +457‎ →‎Cartesian products exist: Cleanup undo

curprev 07:1507:15, 26 April 2023‎ Galobtter talk contribs‎ 8,075 bytes −8‎ use template undo Tag: 2017 wikitext editor

curprev 12:5312:53, 3 April 2023‎ 83.64.100.29 talk‎ 8,083 bytes −130‎ →‎Cartesian products exist: Cleanup undo
curprev 11:2511:25, 3 April 2023‎ 178.165.161.174 talk‎ 8,213 bytes +48‎ →‎Cartesian products exist: Bracketing and bold axioms undo

curprev 21:2021:20, 5 February 2023‎ 178.165.196.163 talk‎ 8,165 bytes +33‎ →‎See also undo

curprev 08:2008:20, 1 February 2023‎ 134.124.230.189 talk‎ 8,132 bytes +195‎ →‎Metalogic undo Tags: Mobile edit Mobile web edit

curprev 07:3607:36, 9 December 2022‎ Dicklyon talk contribs‎ m 7,937 bytes +2‎ space (via WP:JWB) undo

curprev 22:4222:42, 9 October 2022‎ 2601:547:b02:9e6:6818:3a7c:b790:2e93 talk‎ 7,935 bytes −29‎ →‎Metalogic: Using KPω notation undo
curprev 22:4222:42, 9 October 2022‎ 2601:547:b02:9e6:6818:3a7c:b790:2e93 talk‎ 7,964 bytes +37‎ →‎Axioms: KP with infinity is denoted by KPω undo

curprev 16:1516:15, 18 September 2022‎ 178.115.51.1 talk‎ 7,927 bytes −54‎ →‎Axioms undo
curprev 16:1416:14, 18 September 2022‎ 178.115.51.1 talk‎ 7,981 bytes +56‎ →‎Related definitions undo
curprev 15:5315:53, 18 September 2022‎ 178.115.51.1 talk‎ 7,925 bytes +2‎ →‎Comparison with Zermelo-Fraenkel set theory undo
curprev 15:5115:51, 18 September 2022‎ 178.115.51.1 talk‎ 7,923 bytes +20‎ Cleanup and sections undo

curprev 17:3117:31, 3 March 2022‎ GhostInTheMachine talk contribs‎ 8,290 bytes +56‎ Adding local short description: "System of mathematical set theory", overriding Wikidata description "system of axiomatic set theory developed by Saul Kripke and Richard Platek" (Shortdesc helper) undo

curprev 20:1520:15, 9 January 2022‎ Beland talk contribs‎ m 8,234 bytes −5‎ convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 06:2406:24, 17 December 2021‎ Cedar101 talk contribs‎ m 8,239 bytes +3‎ →‎Proof that Cartesian products exist: Q.E.D. undo
curprev 00:5800:58, 17 December 2021‎ Cedar101 talk contribs‎ m 8,236 bytes +8‎ →‎Proof that Cartesian products exist: {{big}} to enlarge undo

curprev 14:3214:32, 16 December 2021‎ JRSpriggs talk contribs‎ 8,228 bytes +3‎ →‎Proof that Cartesian products exist: use bigcup for the union of many sets instead of just two undo
curprev 07:5007:50, 16 December 2021‎ Cedar101 talk contribs‎ m 8,225 bytes +37‎ →‎Proof that Cartesian products exist: ∈ ∪ undo Tag: Disambiguation links added

curprev 23:4523:45, 15 November 2021‎ 157.131.92.66 talk‎ 8,188 bytes −7‎ revert error undo

curprev 07:5907:59, 27 October 2021‎ Beland talk contribs‎ m 8,195 bytes −52‎ convert special characters (via WP:JWB) undo

curprev 09:2909:29, 30 August 2021‎ Binary198 talk contribs‎ m 8,247 bytes −4‎ Deleted red link undo Tag: Visual edit

curprev 13:1013:10, 13 June 2020‎ 91.112.18.90 talk‎ 8,251 bytes +236‎ →‎The axioms of KP: More notes on Regularity undo

curprev 14:3914:39, 28 January 2020‎ 139.19.76.10 talk‎ 8,015 bytes +7‎ →‎The axioms of KP: The axiom of collection clearly require functional uniqueness. otherwise φ(x,y) ≡ y∉y and φ(x,y) ≡ x=x would create some problems undo

curprev 13:5013:50, 26 December 2019‎ Paradoctor talk contribs‎ 8,008 bytes −20‎ copyedit undo

curprev 21:4921:49, 12 December 2019‎ 2001:861:3ac0:4fa0:446c:d705:1851:3105 talk‎ 8,028 bytes +96‎ No edit summary undo

curprev 06:1206:12, 15 November 2019‎ InternetArchiveBot talk contribs‎ 7,932 bytes +83‎ Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 11:2211:22, 11 October 2018‎ Texvc2LaTeXBot talk contribs‎ m 7,849 bytes +12‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 15:0015:00, 11 July 2018‎ Rjwilmsi talk contribs‎ 7,837 bytes +20‎ →‎Bibliography: 10.2307/2271646 undo

curprev 03:1903:19, 2 December 2017‎ JCW-CleanerBot talk contribs‎ m 7,817 bytes +6‎ task, replaced: J. Symbolic logic → Journal of Symbolic Logic using AWB undo

curprev 01:4701:47, 29 March 2017‎ 24.85.232.10 talk‎ 7,811 bytes +15‎ →‎The axioms of KP undo
curprev 01:4501:45, 29 March 2017‎ 24.85.232.10 talk‎ 7,796 bytes −4‎ →‎The axioms of KP undo

curprev 21:4421:44, 24 June 2016‎ JRSpriggs talk contribs‎ 7,800 bytes +27‎ →‎Proof that Cartesian products exist: fix grammar and clarify undo
curprev 10:1810:18, 24 June 2016‎ 185.25.95.132 talk‎ 7,773 bytes +78‎ →‎Proof that Cartesian products exist undo

curprev 15:1915:19, 24 May 2016‎ Chalst talk contribs‎ 7,695 bytes −113‎ →‎top: Remove templates that do not make page easier to edit and remove inconsistent dates undo
curprev 13:4813:48, 24 May 2016‎ 5.2.200.163 talk‎ 7,808 bytes −9‎ No edit summary undo

curprev 14:4614:46, 12 April 2016‎ Chalst talk contribs‎ 7,817 bytes +17‎ →‎References: farm out bibliography undo
curprev 12:3512:35, 12 April 2016‎ JRSpriggs talk contribs‎ 7,800 bytes −30‎ →‎Proof that Cartesian products exist: it is one formula, not two; it is psi undo
curprev 09:4009:40, 12 April 2016‎ 217.10.52.10 talk‎ 7,830 bytes +75‎ →‎Proof that Cartesian products exist undo

curprev 22:3422:34, 11 September 2015‎ R.e.b. talk contribs‎ 7,755 bytes +114‎ →‎The axioms of KP: Expanding article undo
curprev 22:2322:23, 11 September 2015‎ R.e.b. talk contribs‎ 7,641 bytes +163‎ →‎References: Adding/improving reference(s) undo
curprev 22:2122:21, 11 September 2015‎ R.e.b. talk contribs‎ 7,478 bytes +26‎ →‎top: Expanding article undo

curprev 16:3916:39, 9 September 2015‎ R.e.b. talk contribs‎ 7,452 bytes +91‎ →‎top: Expanding article undo

curprev 17:3317:33, 29 August 2015‎ R.e.b. talk contribs‎ 7,361 bytes +14‎ →‎References: Adding/improving reference(s) undo

Retrieved from "https://en.wikipedia.org/wiki/Kripke–Platek_set_theory"