Ordinal collapsing function: 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 17:4917:49, 4 December 2017 Colonies Chris talk contribs 56,064 bytes +80 No edit summary undo

curprev 14:5914:59, 10 May 2017 Emlili talk contribs 55,984 bytes +953 →An example leading up to the Bachmann-Howard ordinal undo

curprev 02:4302:43, 24 January 2017 218.241.251.188 talk 55,031 bytes +129 →A terminating process: added content undo Tags: Mobile edit Mobile web edit

curprev 01:1901:19, 27 April 2016 JRSpriggs talk contribs 54,902 bytes +24 →References: invoke template of special large countable ordinals undo

curprev 15:4115:41, 26 April 2016 79.70.227.24 talk 54,878 bytes +42 No edit summary undo

curprev 07:0007:00, 17 April 2016 JRSpriggs talk contribs 54,836 bytes −44 Undid revision 715547910 by Baking Soda (talk) sorry, but I do not see any relationship to forcing. undo

curprev 14:4614:46, 16 April 2016 Baking Soda talk contribs 54,880 bytes +44 create section →See also: ; add * Forcing (mathematics) undo

curprev 06:3106:31, 8 March 2016 R.e.b. talk contribs m 54,836 bytes −36 →Collapsing large cardinals: Copyedit (major) undo

curprev 15:1615:16, 16 October 2015 87.91.254.115 talk 54,872 bytes −7 →Going beyond the Bachmann-Howard ordinal undo

curprev 18:1518:15, 22 July 2015 2001:630:12:2e1f:6236:ddff:fe4d:b458 talk 54,879 bytes −8 Undid revision 672613988 by 2001:630:12:2E1F:6236:DDFF:FE4D:B458 (talk) undo
curprev 18:1418:14, 22 July 2015 2001:630:12:2e1f:6236:ddff:fe4d:b458 talk 54,887 bytes +8 →A terminating process undo

curprev 21:1221:12, 19 July 2014 Monkbot talk contribs m 54,879 bytes −3 →References: Task 4: Fix CS1 deprecated coauthor parameter errors undo

curprev 16:0716:07, 13 November 2013 Cheesefondue talk contribs 54,882 bytes +36 →Standard sequences for ordinal notations: Brought the omega^omega 3 sequence in line with the general approach undo

curprev 22:5222:52, 21 June 2013 Mark viking talk contribs 54,846 bytes +35 →Definition: Added wl undo
curprev 22:4722:47, 21 June 2013 Mark viking talk contribs 54,811 bytes +4 Added wl undo

curprev 07:1507:15, 14 May 2013 Epsimak talk contribs 54,807 bytes −1 No edit summary undo
curprev 07:1407:14, 14 May 2013 Epsimak talk contribs 54,808 bytes +1 No edit summary undo

curprev 20:1120:11, 9 May 2013 208.91.114.4 talk 54,807 bytes +1 →Some properties of \psi: typo undo

curprev 11:0411:04, 23 February 2013 Gro-Tsen talk contribs 54,806 bytes +1 →A "normal" variant: typo undo

curprev 23:0923:09, 22 February 2013 Gro-Tsen talk contribs 54,805 bytes −1,505 →A "normal" variant: remove my final sub-example (did not illustrate what I thought it did) undo
curprev 18:0418:04, 22 February 2013 Gro-Tsen talk contribs 56,310 bytes +5,051 →Variations on the example: add a new subsection highlighting a technical but important point in the definition of some collapsing functions undo

curprev 10:4410:44, 16 February 2013 Gro-Tsen talk contribs m 51,259 bytes +1 bugware: make a trivial change in order to force mediawiki TeX engine to (hopefully) recompile formulæ on page undo

curprev 16:4016:40, 15 February 2013 Gro-Tsen talk contribs 51,258 bytes +186 →Beyond the Feferman-Schütte ordinal: fix several confusions relating to the n-ary Veblen functions undo

curprev 00:3900:39, 16 January 2013 BG19bot talk contribs m 51,072 bytes +1 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (8855) undo

curprev 01:1001:10, 30 September 2012 Hugo Herbelin talk contribs m 51,071 bytes 0 →A note about base representations: Apparently a bug in <math> interpreter when using \cdots; use \ldots instead undo

curprev 08:5108:51, 12 January 2012 JRSpriggs talk contribs 51,071 bytes −6 undo last two edits because one must be added on left, not right, to maintain continuity undo
curprev 08:0108:01, 12 January 2012 Lexivore talk contribs 51,077 bytes +4 →Values of \psi up to the Feferman-Schütte ordinal undo
curprev 07:4907:49, 12 January 2012 Lexivore talk contribs 51,073 bytes +2 →Beyond the Feferman-Schütte ordinal undo

curprev 22:2822:28, 12 April 2011 208.91.114.4 talk 51,071 bytes −1 →Conditions for canonicalness: typo undo

curprev 16:3116:31, 7 April 2011 Citation bot 1 talk contribs m 51,072 bytes +2 [Pu331]+: jstor, issue. Formatted dashes. undo

curprev 20:1020:10, 31 March 2011 Rjwilmsi talk contribs m 51,070 bytes −8 →References: clean up (jstor links) using AWB (7658) undo

curprev 01:1901:19, 9 December 2010 88.110.177.248 talk 51,078 bytes 0 Undid revision 401361278 by 88.110.177.248 (talk) undo
curprev 01:1701:17, 9 December 2010 88.110.177.248 talk 51,078 bytes 0 →Beyond the Feferman-Schütte ordinal: Ackermann ordinal is NOT the first fixed point of Gamma_x, so corrected undo

curprev 10:4110:41, 7 August 2010 JRSpriggs talk contribs 51,078 bytes +1 repair the repair to the link : "Psi (Greek)" -> "Psi (letter)" undo
curprev 06:4906:49, 7 August 2010 Woohookitty talk contribs m 51,077 bytes +12 WikiCleaner 0.99 - Repairing link to disambiguation page - You can help! undo

curprev 05:0005:00, 28 June 2010 JRSpriggs talk contribs 51,065 bytes +41 →Standard sequences for ordinal notations: link to "Fundamental sequence (ordinals)" undo
curprev 03:5903:59, 28 June 2010 R.e.s. talk contribs m 51,024 bytes +1 →Standard sequences for ordinal notations: fix typo undo

curprev 19:2519:25, 24 June 2010 Bender235 talk contribs 51,023 bytes −217 Typo fixing, typos fixed: greek → Greek using AWB undo

curprev 07:2707:27, 10 June 2010 Citation bot 1 talk contribs m 51,240 bytes +158 Citations: [Pu162]+: url, issue, publisher, jstor. You can use this bot yourself! Report bugs here. undo

curprev 07:4407:44, 28 May 2010 76.16.58.83 talk 51,082 bytes −15 →An example leading up to the Bachmann-Howard ordinal undo
curprev 01:5301:53, 28 May 2010 82.46.155.15 talk 51,097 bytes +1 →Making the function less powerful: typo fix undo

curprev 11:1611:16, 27 May 2010 166.234.236.95 talk 51,096 bytes +1 →Some properties of \psi: fixed typo undo

curprev 09:2509:25, 7 November 2009 69.228.171.150 talk 51,095 bytes −325 →References: fix dead link undo

curprev 15:4815:48, 14 April 2009 Citation bot talk contribs m 51,420 bytes +529 Citation maintenance. Added: format. Formatted: doi. You can use this bot yourself! Please report any bugs. undo

curprev 15:3215:32, 28 December 2008 AxelBoldt talk contribs m 50,891 bytes −35 →Definition: link undo

curprev 22:2622:26, 5 December 2008 130.108.153.91 talk 50,926 bytes −1 →Going beyond the Bachmann-Howard ordinal undo

curprev 21:0921:09, 4 November 2008 Giftlite talk contribs m 50,927 bytes 0 mv refs down undo

curprev 18:2118:21, 10 May 2008 Gro-Tsen talk contribs m 50,927 bytes +158 →References: link to electronic versions of (some of) Rathjen's papers undo

curprev 05:2305:23, 17 April 2008 JRSpriggs talk contribs 50,769 bytes +30 →Notes: add to Category:Ordinal numbers undo

curprev 23:1523:15, 16 April 2008 Gro-Tsen talk contribs 50,739 bytes +50,739 write article: lots copied from my user temp page, with many references added, and stuff on ordinal analysis

Ordinal collapsing function: Revision history

4 December 2017

10 May 2017

24 January 2017

27 April 2016

26 April 2016

17 April 2016

16 April 2016

8 March 2016

16 October 2015

22 July 2015

19 July 2014

13 November 2013

21 June 2013

14 May 2013

9 May 2013

23 February 2013

22 February 2013

16 February 2013

15 February 2013

16 January 2013

30 September 2012

12 January 2012

12 April 2011

7 April 2011

31 March 2011

9 December 2010

7 August 2010

28 June 2010

24 June 2010

10 June 2010

28 May 2010

27 May 2010

7 November 2009

14 April 2009

28 December 2008

5 December 2008

4 November 2008

10 May 2008

17 April 2008

16 April 2008