Universe (mathematics): Revision history

23 August 2024

• curprev 04:2904:29, 23 August 2024‎ Farkle Griffen talk contribs‎ m 18,634 bytes +33‎ Added link undo Tags: Mobile edit Mobile app edit iOS app edit App section source

26 May 2024

• curprev 18:0218:02, 26 May 2024‎ Wizmut talk contribs‎ 18,601 bytes −69‎ shorten short description undo

21 May 2024

• curprev 06:3606:36, 21 May 2024‎ David Eppstein talk contribs‎ 18,670 bytes −231‎ →‎In category theory: rm unsourced and vague editorialization undo

4 February 2023

• curprev 15:3815:38, 4 February 2023‎ Headbomb talk contribs‎ 18,901 bytes −107‎ Alter: template type. Add: eprint, class. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget undo
• curprev 15:3615:36, 4 February 2023‎ Citation bot talk contribs‎ 19,008 bytes +59‎ Add: arxiv, journal. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

31 January 2023

• curprev 01:5401:54, 31 January 2023‎ SpiralSource talk contribs‎ m 18,949 bytes +189‎ →‎In category theory: Added citation undo Tag: Visual edit

4 January 2023

• curprev 06:2806:28, 4 January 2023‎ Citation bot talk contribs‎ 18,760 bytes +16‎ Alter: pages. Add: s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1551/2500 undo

24 December 2022

• curprev 11:0811:08, 24 December 2022‎ Maxeto0910 talk contribs‎ m 18,744 bytes −1‎ no sentence undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

25 November 2022

• curprev 17:0517:05, 25 November 2022‎ Fgnievinski talk contribs‎ 18,745 bytes +26‎ →‎See also undo Tag: 2017 wikitext editor

21 September 2022

• curprev 22:1122:11, 21 September 2022‎ 2601:547:501:8f90:9d40:ddc3:a266:7948 talk‎ 18,719 bytes +1,385‎ →‎In type theory undo

27 August 2022

• curprev 05:5005:50, 27 August 2022‎ JJMC89 bot III talk contribs‎ m 17,334 bytes +4‎ Moving Category:Set families to Category:Families of sets per Wikipedia:Categories for discussion/Log/2022 August 17#Category:Set families undo

6 August 2022

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

22 September 2021

• curprev 13:5813:58, 22 September 2021‎ GoingBatty talk contribs‎ 17,306 bytes −18‎ Removed Template:Bots - confirmed that AWB general fixes and typo fixes no longer damage this article undo

29 June 2021

• curprev 12:4812:48, 29 June 2021‎ 37.47.13.111 talk‎ 17,324 bytes −67‎ I DON'T UNDERSTAND LOL undo

18 March 2021

• curprev 09:1109:11, 18 March 2021‎ Maxeto0910 talk contribs‎ 17,391 bytes +123‎ Added short description. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

21 September 2020

• curprev 15:3915:39, 21 September 2020‎ JayBeeEll talk contribs‎ 17,268 bytes −666‎ Undid revision 976803069 by Miaumee (talk) Per User talk:Miaumee, this is apparently the preferred response to poor editing undo Tag: Undo

5 September 2020

• curprev 03:3403:34, 5 September 2020‎ Miaumee talk contribs‎ 17,934 bytes +666‎ General revision throughout the page. Improved inline citations. Rephrased sentences to prevent flow disruption. Wikilinked "universal set" (the paradoxical set of everything). Minor punctuation fixes. Broken down lengthy sentences and paragraphs. Removed the MathWorld entry from External Links (being inline-cited already). undo Tags: Reverted Visual edit

16 August 2020

• curprev 20:1220:12, 16 August 2020‎ Tea2min talk contribs‎ 17,268 bytes +111‎ Undid revision 973259201 by 2001:4450:83B0:DA00:3070:697C:26FC:21E7 (talk) undo Tag: Undo
• curprev 06:5906:59, 16 August 2020‎ 2001:4450:83b0:da00:3070:697c:26fc:21e7 talk‎ 17,157 bytes −111‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

4 August 2020

• curprev 15:5715:57, 4 August 2020‎ Andrybak talk contribs‎ 17,268 bytes −78‎ →‎top: drop mention of domain of discourse from lede—it is not mentioned in the article itself (see also MOS:INTRO) undo

29 March 2020

• curprev 03:5403:54, 29 March 2020‎ 2601:188:180:b8e0:65f5:930c:b0b2:cd63 talk‎ 17,346 bytes −34‎ Undid revision 947909384 by 92.6.7.172 (talk) undo Tag: Undo
• curprev 03:5403:54, 29 March 2020‎ 92.6.7.172 talk‎ 17,380 bytes +34‎ No edit summary undo Tags: Mobile edit Mobile web edit

6 November 2019

• curprev 11:2411:24, 6 November 2019‎ Zzuuzz talk contribs‎ m 17,346 bytes −84‎ Reverted edits by 43.224.3.206 (talk) to last version by 185.53.199.136 undo Tag: Rollback
• curprev 10:2010:20, 6 November 2019‎ 43.224.3.206 talk‎ 17,430 bytes +84‎ →‎References: New undo Tags: Mobile edit Mobile web edit

30 August 2019

• curprev 09:5309:53, 30 August 2019‎ 185.53.199.136 talk‎ 17,346 bytes +19‎ →‎See also: open formula undo

11 August 2019

• curprev 11:0611:06, 11 August 2019‎ Diannaa talk contribs‎ m 17,327 bytes +1‎ Attribution: content in this article was copied from Domain of discourse on August 10, 2019. Please see the history of that page for full attribution. undo

10 August 2019

• curprev 02:0402:04, 10 August 2019‎ 185.53.196.147 talk‎ 17,326 bytes 0‎ →‎In predicate calculus: individual constants undo
• curprev 01:1801:18, 10 August 2019‎ 185.53.196.147 talk‎ 17,326 bytes +805‎ →‎In set theory: predicate calculus undo

5 July 2019

• curprev 08:5408:54, 5 July 2019‎ Andrybak talk contribs‎ 16,521 bytes −8‎ →‎top: how closely related? undo

7 March 2019

• curprev 16:4416:44, 7 March 2019‎ FrescoBot talk contribs‎ m 16,529 bytes −10‎ Bot: link syntax undo

21 November 2018

• curprev 02:4302:43, 21 November 2018‎ Volunteer1234 talk contribs‎ 16,539 bytes −7‎ →‎In ordinary mathematics: wp:noted undo Tag: Visual edit

1 August 2018

• curprev 14:3714:37, 1 August 2018‎ Ngs111 talk contribs‎ m 16,546 bytes +14‎ →‎In ordinary mathematics undo

12 December 2017

• curprev 11:0411:04, 12 December 2017‎ CBM talk contribs‎ 16,532 bytes −35‎ I think this is more clear. undo

11 December 2017

• curprev 17:1217:12, 11 December 2017‎ AnomieBOT talk contribs‎ m 16,567 bytes +19‎ Dating maintenance tags: {{Explain}} undo
• curprev 16:5216:52, 11 December 2017‎ Purgy Purgatorio talk contribs‎ 16,548 bytes −3‎ →‎In type theory: no fitting target undo

9 December 2017

• curprev 10:1710:17, 9 December 2017‎ Serols talk contribs‎ m 16,551 bytes +1,296‎ Reverted edits by 107.77.249.8 (talk) (HG) (3.3.3) undo Tags: Huggle Rollback
• curprev 10:1610:16, 9 December 2017‎ 107.77.249.8 talk‎ 15,255 bytes −1,296‎ False information undo Tags: Mobile edit Mobile web edit

24 November 2017

• curprev 00:1400:14, 24 November 2017‎ Omnipaedista talk contribs‎ 16,551 bytes +2‎ →‎In type theory undo
• curprev 00:1400:14, 24 November 2017‎ Omnipaedista talk contribs‎ 16,549 bytes +65‎ add eponym undo
• curprev 00:0300:03, 24 November 2017‎ Omnipaedista talk contribs‎ 16,484 bytes +435‎ add citation undo

23 November 2017

• curprev 23:4123:41, 23 November 2017‎ Omnipaedista talk contribs‎ 16,049 bytes +449‎ expand section undo
• curprev 22:5922:59, 23 November 2017‎ Omnipaedista talk contribs‎ 15,600 bytes −60‎ resectioning undo

10 November 2017

• curprev 21:5221:52, 10 November 2017‎ Siddharthist talk contribs‎ 15,660 bytes +1,302‎ Rework introduction to be more comprehensive, mentioning the connection to domain of discourse, motivation from category theory, and the appearance of universes in type theory undo Tag: 2017 wikitext editor
• curprev 20:1620:16, 10 November 2017‎ Siddharthist talk contribs‎ 14,358 bytes +55‎ →‎In category theory: Change title to include Grothendieck Universes, which is actually what this section is about. Add Main template. undo Tag: 2017 wikitext editor
• curprev 20:1320:13, 10 November 2017‎ Siddharthist talk contribs‎ m 14,303 bytes +29‎ →‎In a specific context: Add Main template to Domain of discourse undo Tag: 2017 wikitext editor
• curprev 20:0920:09, 10 November 2017‎ Siddharthist talk contribs‎ m 14,274 bytes +28‎ →‎See also: Add Grothendieck Universe to see also undo Tag: 2017 wikitext editor
• curprev 20:0720:07, 10 November 2017‎ Siddharthist talk contribs‎ m 14,246 bytes +26‎ →‎See also: Add domain of discourse to "See also" undo Tag: 2017 wikitext editor

15 October 2017

• curprev 07:1207:12, 15 October 2017‎ David Eppstein talk contribs‎ 14,220 bytes −20‎ WP:NOTED undo

24 December 2016

• curprev 09:3309:33, 24 December 2016‎ Omnipaedista talk contribs‎ 14,240 bytes 0‎ per MOS:CAPS undo

14 November 2016

• curprev 02:0502:05, 14 November 2016‎ Paul August talk contribs‎ 14,240 bytes −9‎ Undid revision 749368347 by 111.125.69.106 (talk) Huh? undo