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 14:4014:40, 25 January 2024 C7XWiki talk contribs 9,365 bytes −20 Possible typo →Work in α recursion undo
curprev 11:5911:59, 25 January 2024 C7XWiki talk contribs 9,385 bytes +25 Inline citation →Work in α recursion undo
curprev 11:5811:58, 25 January 2024 C7XWiki talk contribs 9,360 bytes +866 →Work in α recursion undo
curprev 10:0610:06, 25 January 2024 C7XWiki talk contribs 8,494 bytes +430 No edit summary undo

curprev 02:4802:48, 23 December 2023 98.33.48.125 talk 8,064 bytes +4 moved previous edit slightly for better ease of reading (and added link to partial functions webpage) undo
curprev 02:4602:46, 23 December 2023 98.33.48.125 talk 8,060 bytes +202 partial alpha-recursive functions are typically partial functions from alpha to itself, not total functions. If it is total, then it is already alpha-recursive undo

curprev 09:0009:00, 10 August 2023 C7XWiki talk contribs 7,858 bytes 0 "On" seems to be more common than "in" for subsets of universe undo

curprev 01:2801:28, 20 May 2023 C7XWiki talk contribs 7,858 bytes 0 →Results in α recursion: Specific ISBN undo Tags: Mobile edit Mobile web edit

curprev 12:5812:58, 19 May 2023 C7XWiki talk contribs 7,858 bytes +366 →Results in α recursion undo

curprev 04:1004:10, 13 April 2023 Graeme Bartlett talk contribs m 7,492 bytes 0 formuls fix undo

curprev 08:0808:08, 7 February 2023 C7XWiki talk contribs 7,492 bytes 0 Fixing punctuation undo
curprev 08:0808:08, 7 February 2023 C7XWiki talk contribs 7,492 bytes +260 Another name undo

curprev 11:2111:21, 22 January 2023 C7XWiki talk contribs 7,232 bytes +258 →Relationship to analysis undo Tags: Mobile edit Mobile web edit

curprev 08:5408:54, 1 January 2023 C7XWiki talk contribs 6,974 bytes +275 No edit summary undo

curprev 03:3303:33, 8 December 2022 C7XWiki talk contribs 6,699 bytes 0 No edit summary undo

curprev 14:2414:24, 18 November 2022 C7XWiki talk contribs 6,699 bytes +5 →Relationship to analysis undo
curprev 14:2414:24, 18 November 2022 C7XWiki talk contribs 6,694 bytes −2 →Results in α recursion undo

curprev 02:5502:55, 20 September 2022 C7XWiki talk contribs 6,696 bytes +4 →Relation to analysis undo
curprev 02:5502:55, 20 September 2022 C7XWiki talk contribs 6,692 bytes +135 →Relation to analysis undo

curprev 03:1503:15, 27 June 2022 C7XWiki talk contribs 6,557 bytes +71 I believe parameters may range over L_α due to similar notation in Devlin's "An introduction to the fine structure of the constructible hierarchy" undo

curprev 06:0606:06, 7 January 2022 C7XWiki talk contribs 6,486 bytes +6 No edit summary undo
curprev 05:5305:53, 7 January 2022 C7XWiki talk contribs 6,480 bytes +117 →Relation to analysis undo

curprev 06:1706:17, 5 December 2021 75.85.55.7 talk 6,363 bytes −16 →Results in \alpha recursion undo

curprev 02:5602:56, 3 November 2021 WikiCleanerBot talk contribs m 6,379 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 22:1522:15, 25 October 2021 C7XWiki talk contribs 6,379 bytes 0 No edit summary undo
curprev 22:1522:15, 25 October 2021 C7XWiki talk contribs 6,379 bytes +376 No edit summary undo

curprev 01:4201:42, 23 October 2021 C7XWiki talk contribs 6,003 bytes +642 No edit summary undo

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

25 January 2024

23 December 2023

10 August 2023

20 May 2023

19 May 2023

13 April 2023

7 February 2023

22 January 2023

1 January 2023

8 December 2022

18 November 2022

20 September 2022

27 June 2022

7 January 2022

5 December 2021

3 November 2021

25 October 2021

23 October 2021

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