Grothendieck universe: 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 04:3204:32, 23 August 2024‎ Farkle Griffen talk contribs‎ m 9,127 bytes +15‎ Changed notation to inline undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 10:1610:16, 24 July 2024‎ LucasBrown talk contribs‎ 9,112 bytes +44‎ Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

curprev 20:2020:20, 25 June 2024‎ InternetArchiveBot talk contribs‎ 9,068 bytes +264‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 07:2607:26, 26 April 2023‎ Galobtter talk contribs‎ 8,804 bytes −40‎ use template undo Tag: 2017 wikitext editor

curprev 23:3823:38, 6 August 2022‎ Mgkrupa talk contribs‎ 8,844 bytes +24‎ Added {{Mathematical logic}} undo

curprev 07:2207:22, 17 December 2021‎ Cedar101 talk contribs‎ m 8,820 bytes +227‎ →‎Grothendieck universes and inaccessible cardinals: fix math italics, <span class="texhtml">, merge <math> undo
curprev 06:5506:55, 17 December 2021‎ Cedar101 talk contribs‎ m 8,593 bytes +5‎ →‎top: {{mvar|I}} undo

curprev 04:5404:54, 1 December 2020‎ Monkbot talk contribs‎ m 8,588 bytes −57‎ Task 18 (cosmetic): eval 2 templates: del empty params (5×); hyphenate params (4×); cvt lang vals (1×); undo Tag: AWB

curprev 15:2015:20, 27 May 2019‎ IznoRepeat talk contribs‎ m 8,645 bytes −10‎ cleaning (ed[s]); template now always displays editor annotation; gen fixes undo Tag: AWB

curprev 03:3803:38, 29 January 2019‎ 47.144.214.33 talk‎ 8,655 bytes +7‎ No edit summary undo Tag: Visual edit

curprev 07:5607:56, 3 April 2018‎ Tea2min talk contribs‎ m 8,648 bytes +4‎ Reverted 1 edit by 129.8.28.2 (talk) to last revision by JCW-CleanerBot. (TW) undo Tag: Undo
curprev 00:1300:13, 3 April 2018‎ 129.8.28.2 talk‎ 8,644 bytes −4‎ No edit summary undo Tag: Visual edit

curprev 04:2304:23, 2 December 2017‎ JCW-CleanerBot talk contribs‎ m 8,648 bytes 0‎ →‎References: task, replaced: Lecture notes in mathematics → Lecture Notes in Mathematics using AWB undo

curprev 08:3108:31, 27 November 2017‎ Omnipaedista talk contribs‎ 8,648 bytes −2‎ No edit summary undo

curprev 10:1410:14, 24 December 2016‎ Omnipaedista talk contribs‎ 8,650 bytes +13‎ see MOS:SECTIONORDER undo
curprev 09:3209:32, 24 December 2016‎ Omnipaedista talk contribs‎ 8,637 bytes 0‎ No edit summary undo
curprev 09:3109:31, 24 December 2016‎ Omnipaedista talk contribs‎ 8,637 bytes −1‎ →‎Properties undo

curprev 21:2021:20, 15 June 2016‎ Dcirovic talk contribs‎ 8,638 bytes +16‎ refs undo

curprev 11:5611:56, 22 December 2015‎ Vladimirias talk contribs‎ 8,622 bytes −103‎ I removed this line because a little below there is an assertion that it is equivalent to the existence of "very many" inaccessible cardinals. undo

curprev 13:5813:58, 8 June 2015‎ 130.225.98.201 talk‎ 8,725 bytes +1‎ corrected name of Streicher reference undo

curprev 16:5816:58, 20 November 2014‎ 2601:2:4d00:27b:bc60:bf5d:f3e5:81f1 talk‎ 8,724 bytes +101‎ some obvious corrections required by WP:MOS and WP:MOSMATH. Obviously digits and parentheses should not be italicized in this context and variables should. undo

curprev 19:0119:01, 16 November 2014‎ David Eppstein talk contribs‎ 8,623 bytes +97‎ move Tarski-G set theory into the main text undo
curprev 18:5218:52, 16 November 2014‎ David Eppstein talk contribs‎ 8,526 bytes +238‎ mention large-cardinal consequence in lead undo
curprev 18:4718:47, 16 November 2014‎ David Eppstein talk contribs‎ 8,288 bytes +10‎ split off another section undo

curprev 12:0412:04, 5 May 2014‎ Yobot talk contribs‎ m 8,278 bytes +1‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 21:1621:16, 10 February 2014‎ 81.147.151.97 talk‎ 8,277 bytes −1‎ →‎Grothendieck universes and inaccessible cardinals undo

curprev 23:2023:20, 18 September 2013‎ Ozob talk contribs‎ 8,278 bytes +41‎ →‎Grothendieck universes and inaccessible cardinals: fix undo
curprev 19:5319:53, 18 September 2013‎ Bayle Shanks talk contribs‎ m 8,237 bytes −2‎ No edit summary undo
curprev 19:5119:51, 18 September 2013‎ Bayle Shanks talk contribs‎ 8,239 bytes +7‎ "The axioms of Grothendieck universes say that every set is an element of a Grothendieck universe." --> " The axioms of Grothendieck universes imply that every set is an element of some Grothendieck universe." undo

curprev 00:2800:28, 10 July 2013‎ 88.73.129.230 talk‎ 8,232 bytes +497‎ added reference undo
curprev 00:0200:02, 10 July 2013‎ 88.73.129.230 talk‎ 7,735 bytes +71‎ added category theoretic remark undo

curprev 22:3022:30, 11 June 2013‎ 86.141.143.223 talk‎ 7,664 bytes 0‎ No edit summary undo

curprev 07:0407:04, 28 February 2013‎ Addbot talk contribs‎ m 7,664 bytes −133‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q1465090 (Report Errors) undo

curprev 22:4122:41, 9 November 2012‎ Dan Gluck talk contribs‎ 7,797 bytes +379‎ →‎Grothendieck universes and inaccessible cardinals undo

curprev 20:0320:03, 17 October 2012‎ Chricho talk contribs‎ 7,418 bytes +32‎ more precise (natural ∈-relation is not that special for models) undo

curprev 05:1405:14, 20 September 2012‎ 99.241.86.114 talk‎ 7,386 bytes +2‎ No edit summary undo
curprev 05:1405:14, 20 September 2012‎ 99.241.86.114 talk‎ 7,384 bytes −2‎ No edit summary undo
curprev 05:1205:12, 20 September 2012‎ 99.241.86.114 talk‎ 7,386 bytes −184‎ latex to html & formatting improvements undo

curprev 18:1318:13, 30 August 2012‎ ComputScientist talk contribs‎ 7,570 bytes +102‎ Undid revision 509446405 by 79.17.72.210 (talk) unsure why that revision was made undo

curprev 15:3415:34, 27 August 2012‎ 79.17.72.210 talk‎ 7,468 bytes −102‎ No edit summary undo

curprev 19:0919:09, 11 July 2012‎ ComputScientist talk contribs‎ 7,570 bytes +97‎ Mention the axiom of Grothendieck universes in the first section. undo

curprev 15:0515:05, 26 March 2012‎ VictorPorton talk contribs‎ 7,473 bytes +80‎ Defined small sets. undo

curprev 00:0900:09, 27 January 2012‎ Ozob talk contribs‎ 7,393 bytes +102‎ Undid revision 466864595 by 213.156.35.244 (talk) This is not correct, see talk undo

curprev 13:4213:42, 24 January 2012‎ ZéroBot talk contribs‎ m 7,291 bytes +32‎ r2.7.1) (Robot: Adding it:Universo di Grothendieck undo

curprev 14:3314:33, 20 December 2011‎ 213.156.35.244 talk‎ 7,259 bytes −102‎ No edit summary undo

curprev 21:2421:24, 5 December 2011‎ Chricho talk contribs‎ 7,361 bytes +59‎ model of set theory undo

curprev 17:0317:03, 7 August 2011‎ WolframKahl talk contribs‎ m 7,302 bytes +1‎ →‎Grothendieck universes and inaccessible cardinals: Changed some `for all' to `for each' (less ambiguous). undo

curprev 20:1720:17, 9 May 2011‎ Aleph4 talk contribs‎ 7,301 bytes +322‎ →‎Grothendieck universes and inaccessible cardinals: inaccessibles are small undo

curprev 11:5011:50, 6 December 2010‎ Ozob talk contribs‎ 6,979 bytes −264‎ Bourbaki does not include this condition. He explicitly gives the empty set as an example of a universe. Also, fixed link to Bourbaki. undo
curprev 00:1300:13, 6 December 2010‎ 70.36.134.156 talk‎ 7,243 bytes +263‎ added "U contains an infinite set", which was omitted from the previous version of the page undo

23 August 2024

24 July 2024

25 June 2024

26 April 2023

6 August 2022

17 December 2021

1 December 2020

27 May 2019

29 January 2019

3 April 2018

2 December 2017

27 November 2017

24 December 2016

15 June 2016

22 December 2015

8 June 2015

20 November 2014

16 November 2014

5 May 2014

10 February 2014

18 September 2013

10 July 2013

11 June 2013

28 February 2013

9 November 2012

17 October 2012

20 September 2012

30 August 2012

27 August 2012

11 July 2012

26 March 2012

27 January 2012

24 January 2012

20 December 2011

5 December 2011

7 August 2011

9 May 2011

6 December 2010