Solovay model: 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 16:3916:39, 10 August 2024‎ AltoStev talk contribs‎ 8,290 bytes +46‎ Adding short description: "Set theory construction" undo Tag: Shortdesc helper

curprev 19:3819:38, 30 May 2024‎ C7XWiki talk contribs‎ 8,244 bytes +29‎ →‎References undo
curprev 19:3719:37, 30 May 2024‎ C7XWiki talk contribs‎ 8,215 bytes +259‎ →‎Complements undo

curprev 20:3120:31, 23 May 2024‎ 174.103.249.230 talk‎ 7,956 bytes +1‎ →‎Complements: Added comma to if/then statement undo

curprev 20:4420:44, 11 March 2024‎ Jlwoodwa talk contribs‎ m 7,955 bytes +24‎ →‎References: {{refbegin}} undo

curprev 18:5718:57, 4 February 2023‎ 91.112.18.90 talk‎ 7,931 bytes −8‎ Make theory context explicit (as also other axioms like CH prove this existence) undo Tags: Mobile edit Mobile web edit

curprev 19:2119:21, 4 July 2021‎ TheMathCat talk contribs‎ m 7,939 bytes +79‎ doi-access=free undo

curprev 21:2621:26, 29 May 2021‎ Citation bot talk contribs‎ 7,860 bytes +8‎ Add: chapter-url. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 05:2205:22, 12 December 2019‎ Citation bot talk contribs‎ m 7,852 bytes +85‎ Add: issue, url. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 18:4618:46, 8 September 2018‎ Lembit Staan talk contribs‎ m 7,767 bytes −56‎ Reverted edits by Staszek Lem (talk) to last version by Rjwilmsi undo Tag: Rollback
curprev 18:4418:44, 8 September 2018‎ Lembit Staan talk contribs‎ 7,823 bytes +56‎ added Category:Lists of things named after mathematicians using HotCat undo

curprev 08:4008:40, 14 May 2018‎ Rjwilmsi talk contribs‎ 7,767 bytes +22‎ →‎References: doi=10.2307/1970696 undo

curprev 22:2822:28, 17 March 2018‎ RJGray talk contribs‎ m 7,745 bytes +16‎ →‎References: Added jstor undo
curprev 01:5301:53, 17 March 2018‎ RJGray talk contribs‎ m 7,729 bytes +103‎ Added links; moved a link undo

curprev 01:2401:24, 7 March 2018‎ JCW-CleanerBot talk contribs‎ m 7,626 bytes −28‎ →‎References: task, replaced: Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences. Séries A → Comptes Rendus de l'Académie des Sciences, Série A using AWB undo

curprev 01:2701:27, 9 December 2017‎ JCW-CleanerBot talk contribs‎ m 7,654 bytes −19‎ task, replaced: journal=Annals of Mathematics. Second Series → journal=Annals of Mathematics |series=Second Series using AWB undo

curprev 18:2318:23, 22 March 2017‎ The enemies of god talk contribs‎ m 7,673 bytes +2‎ →‎Complements: cleaned up a bit undo
curprev 18:1718:17, 22 March 2017‎ The enemies of god talk contribs‎ m 7,671 bytes −7‎ →‎Construction: removed some extra spaces undo

curprev 23:0923:09, 20 January 2017‎ Cosmia Nebula talk contribs‎ m 7,678 bytes +4‎ →‎top: added link undo

curprev 09:5209:52, 10 September 2016‎ John of Reading talk contribs‎ m 7,674 bytes −5‎ →‎Construction: Typo fixing, replaced: that that every → that every using AWB undo

curprev 07:3107:31, 19 July 2015‎ Rjwilmsi talk contribs‎ 7,679 bytes +6‎ →‎References: 10.2307/2274892 undo

curprev 09:1909:19, 15 December 2014‎ Tea2min talk contribs‎ m 7,673 bytes −1‎ →‎Construction: Remove a blank: "M [G]" → "M[G]" undo

curprev 15:1515:15, 2 October 2014‎ 86.155.0.191 talk‎ 7,674 bytes +1‎ →‎Complements undo

curprev 03:0403:04, 2 September 2011‎ Headbomb talk contribs‎ m 7,673 bytes −275‎ Various citation cleanup (identifiers mostly), replaced: | url=http://www.jstor.org/stable/2274892 → | jstor=2274892 (2), | url=http://dx.doi.org/10.1007/BF02760522 → | doi=10.1007/BF02760522 (2), {{MathSciNet | id = 02 using AWB undo

curprev 08:3508:35, 16 February 2010‎ Tea2min talk contribs‎ m 7,948 bytes +76‎ "Frankel" → "Fraenkel", dashes undo

curprev 11:0111:01, 12 February 2010‎ 66.127.55.192 talk‎ 7,872 bytes +5‎ →‎Complements: use ℵ rather than ω to denote a cardinal undo

curprev 16:0716:07, 10 December 2009‎ R.e.b. talk contribs‎ 7,867 bytes +28‎ →‎Complements: lk undo
curprev 15:4415:44, 10 December 2009‎ R.e.b. talk contribs‎ 7,839 bytes +4‎ →‎Complements: lk undo
curprev 15:4215:42, 10 December 2009‎ R.e.b. talk contribs‎ 7,835 bytes +371‎ supercompacts undo

curprev 04:1704:17, 9 December 2009‎ R.e.b. talk contribs‎ 7,464 bytes +536‎ →‎Complements: Specker undo
curprev 04:0904:09, 9 December 2009‎ R.e.b. talk contribs‎ 6,928 bytes +316‎ →‎References: ref undo

curprev 15:0915:09, 7 December 2009‎ R.e.b. talk contribs‎ m 6,612 bytes +6‎ →‎Construction: typo undo

curprev 06:4406:44, 4 December 2009‎ Trovatore talk contribs‎ m 6,606 bytes 0‎ →‎Construction: fx typo undo
curprev 05:2505:25, 4 December 2009‎ R.e.b. talk contribs‎ 6,606 bytes +12‎ →‎Construction: correction undo
curprev 05:2205:22, 4 December 2009‎ R.e.b. talk contribs‎ 6,594 bytes +12‎ →‎Construction: typo undo

curprev 05:1405:14, 3 December 2009‎ R.e.b. talk contribs‎ 6,582 bytes +256‎ →‎References: ref undo
curprev 04:1304:13, 3 December 2009‎ R.e.b. talk contribs‎ 6,326 bytes +205‎ →‎Construction: ''L''('''R''') undo
curprev 03:5203:52, 3 December 2009‎ R.e.b. talk contribs‎ 6,121 bytes +322‎ →‎References: review undo
curprev 03:4103:41, 3 December 2009‎ R.e.b. talk contribs‎ 5,799 bytes +194‎ →‎References: ref undo

10 August 2024

30 May 2024

23 May 2024

11 March 2024

4 February 2023

4 July 2021

29 May 2021

12 December 2019

8 September 2018

14 May 2018

17 March 2018

7 March 2018

9 December 2017

22 March 2017

20 January 2017

10 September 2016

19 July 2015

15 December 2014

2 October 2014

2 September 2011

16 February 2010

12 February 2010

10 December 2009

9 December 2009

7 December 2009

4 December 2009

3 December 2009

2 December 2009