Alpha recursion theory: 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 20:1320:13, 22 October 2021 C7XWiki talk contribs 5,361 bytes −1 No edit summary undo

curprev 14:5914:59, 21 October 2021 C7XWiki talk contribs 5,362 bytes +313 Elaborating more in a later edit undo Tags: Mobile edit Mobile web edit

curprev 03:3903:39, 16 October 2021 WikiCleanerBot talk contribs m 5,049 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 01:3701:37, 13 October 2021 C7XWiki talk contribs 5,049 bytes +10 No edit summary undo
curprev 01:3501:35, 13 October 2021 C7XWiki talk contribs 5,039 bytes +35 No edit summary undo
curprev 01:3501:35, 13 October 2021 C7XWiki talk contribs 5,004 bytes +19 No edit summary undo
curprev 01:3401:34, 13 October 2021 C7XWiki talk contribs 4,985 bytes +106 No edit summary undo

curprev 16:4416:44, 24 September 2021 C7XWiki talk contribs 4,879 bytes +6 Bolding central concepts/article title undo Tags: Mobile edit Mobile web edit

curprev 18:5818:58, 15 August 2021 C7XWiki talk contribs 4,873 bytes −6 Definitional undo
curprev 18:5718:57, 15 August 2021 C7XWiki talk contribs 4,879 bytes +148 No edit summary undo

curprev 20:3620:36, 8 August 2021 C7XWiki talk contribs 4,731 bytes +412 →Relation to analysis undo
curprev 19:4619:46, 8 August 2021 C7XWiki talk contribs 4,319 bytes +10 No edit summary undo
curprev 19:4619:46, 8 August 2021 C7XWiki talk contribs 4,309 bytes +409 No edit summary undo
curprev 19:4319:43, 8 August 2021 C7XWiki talk contribs 3,900 bytes +56 No edit summary undo

curprev 05:3905:39, 30 July 2021 C7XWiki talk contribs 3,844 bytes +41 No edit summary undo
curprev 05:3805:38, 30 July 2021 C7XWiki talk contribs 3,803 bytes +451 →Results in \alpha recursion undo

curprev 18:1918:19, 14 July 2021 C7XWiki talk contribs 3,352 bytes +127 No edit summary undo
curprev 18:1818:18, 14 July 2021 C7XWiki talk contribs 3,225 bytes +29 I may look for sources undo

curprev 01:2201:22, 26 November 2017 132.178.150.197 talk 2,939 bytes +8 No edit summary undo

curprev 14:3814:38, 10 October 2017 132.178.151.27 talk 2,931 bytes +25 No edit summary undo
curprev 14:3614:36, 10 October 2017 132.178.151.27 talk 2,906 bytes +29 False statement. Admissible ordinals are not models of KP. L_{\alpha} being a model of KP means that \alpha is an admissible ordinal. undo

curprev 01:3001:30, 28 March 2017 24.212.193.99 talk 2,877 bytes +96 No edit summary undo

curprev 15:5115:51, 28 November 2015 Myasuda talk contribs m 2,781 bytes +1 sp undo

curprev 07:4307:43, 31 October 2014 Aleph0~enwiki talk contribs m 2,780 bytes +20 A missing alpha in the definition of reduction procedure undo

curprev 22:2722:27, 9 February 2012 VladimirReshetnikov talk contribs m 2,760 bytes +29 No edit summary undo

curprev 13:0513:05, 14 April 2011 193.61.17.8 talk 2,731 bytes +20 In definition of alpha-recursivity, made use of *alpha*-r.e. explicit. Hope this avoids possible confusion. undo

curprev 19:5819:58, 14 February 2011 Cydebot talk contribs m 2,711 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 05:0005:00, 23 April 2010 Marokwitz talk contribs 2,707 bytes −24 WP:EDITORIAL, removed: it should be noted that using AWB undo

curprev 08:3208:32, 15 February 2009 CBM talk contribs 2,731 bytes −73 slict c/e more needed undo
curprev 08:3008:30, 15 February 2009 CBM talk contribs 2,804 bytes −11 →References: rm template undo

curprev 22:5822:58, 15 June 2008 Rjwilmsi talk contribs m 2,815 bytes −3 Typo/accessdate/date fixes, typos fixed: it it → it using AWB undo

curprev 23:4323:43, 3 June 2008 Zero sharp talk contribs 2,818 bytes +15 explain complement, language tweak. undo
curprev 23:4223:42, 3 June 2008 Zero sharp talk contribs 2,803 bytes +6 add emph. for definition of term undo

curprev 16:4716:47, 20 March 2008 CBM talk contribs 2,797 bytes −37 categories - remove from math logic, fix sort order for recursion theory undo

curprev 20:1520:15, 24 January 2008 Miranda talk contribs m 2,834 bytes +2,744 Reverted edits by FUNKYbananas (talk) to last version by SmackBot undo
curprev 20:1520:15, 24 January 2008 FUNKYbananas talk contribs 90 bytes −2,744 i like cheese! undo

curprev 23:5623:56, 15 September 2007 SmackBot talk contribs m 2,834 bytes −28 Standard headings &/or gen fixes. undo

curprev 22:1122:11, 22 August 2007 Davecrosby uk talk contribs m 2,862 bytes −1 Typo correction - You can help! undo

curprev 02:4702:47, 3 July 2007 Michael Hardy talk contribs 2,863 bytes +67 badly needed initial context undo
curprev 02:4602:46, 3 July 2007 Michael Hardy talk contribs 2,796 bytes +1 →Results in <math>\alpha</math> recursion undo
curprev 02:4602:46, 3 July 2007 Michael Hardy talk contribs 2,795 bytes +83 Wikipedia style conventions............ undo

curprev 10:3610:36, 2 July 2007 Barnaby dawson talk contribs 2,712 bytes +45 Adding categories undo
curprev 00:2000:20, 2 July 2007 Alaibot talk contribs m 2,667 bytes +33 Robot: tagging uncategorised page undo

curprev 16:2516:25, 29 June 2007 Barnaby dawson talk contribs 2,634 bytes +2,634 A first stab at alpha recusion theory

Alpha recursion theory: Revision history

22 October 2021

21 October 2021

16 October 2021

13 October 2021

24 September 2021

15 August 2021

8 August 2021

30 July 2021

14 July 2021

25 April 2021

26 November 2017

10 October 2017

28 March 2017

28 November 2015

31 October 2014

9 February 2012

14 April 2011

14 February 2011

23 April 2010

15 February 2009

15 June 2008

3 June 2008

20 March 2008

24 January 2008

15 September 2007

22 August 2007

3 July 2007

2 July 2007

29 June 2007