Hyperarithmetical 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 15:0015:00, 2 April 2024 82.25.27.218 talk 14,674 bytes +21 No edit summary undo
curprev 14:4214:42, 2 April 2024 82.25.27.218 talk 14,653 bytes +224 No edit summary undo

curprev 10:2710:27, 25 January 2024 C7XWiki talk contribs 14,429 bytes +775 Extra characterization undo

curprev 19:4019:40, 7 September 2023 Hypnosifl talk contribs 13,654 bytes −3 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy: updating link since old one doesn't work undo

curprev 18:2318:23, 19 August 2023 Rofraja talk contribs 13,657 bytes +17 Fix bare URLs references undo

curprev 23:1623:16, 13 February 2023 C7XWiki talk contribs 13,640 bytes +13 →References undo
curprev 23:1623:16, 13 February 2023 C7XWiki talk contribs 13,627 bytes +41 →Fundamental results undo

curprev 03:4903:49, 19 January 2023 WikiCleanerBot talk contribs m 13,586 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 23:1823:18, 15 January 2023 C7XWiki talk contribs 13,586 bytes +67 Historical info →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo
curprev 22:3122:31, 15 January 2023 C7XWiki talk contribs 13,519 bytes +325 Another form of notation, plus citation for terminology "iterated Turing jump" →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo
curprev 22:1022:10, 15 January 2023 C7XWiki talk contribs 13,194 bytes +182 Spector's theorem →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo

curprev 00:1300:13, 12 December 2022 Unseemly Levity talk contribs m 13,012 bytes +2 typo undo

curprev 23:2623:26, 14 October 2022 C7XWiki talk contribs 13,010 bytes +207 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy: Alternative notation undo Tags: Mobile edit Mobile web edit

curprev 17:3217:32, 5 July 2022 BrownHairedGirl talk contribs 12,803 bytes +32 tag with {{Bare URL PDF}}. Note that refs to PDFs cannot be filled by any tool or bot. They need to be filled manually undo Tag: AWB

curprev 12:5712:57, 1 July 2022 49.184.21.68 talk 12,771 bytes +13 →References: Reflist undo Tags: Mobile edit Mobile web edit
curprev 12:5612:56, 1 July 2022 49.184.21.68 talk 12,758 bytes +131 Citation undo Tags: Mobile edit Mobile web edit
curprev 12:4812:48, 1 July 2022 49.184.21.68 talk 12,627 bytes +122 →External links: Link undo Tags: Mobile edit Mobile web edit

curprev 10:1210:12, 27 September 2021 Twangist talk contribs m 12,505 bytes +24 →Fundamental results: Missing "<math>\Sigma^1_1</math>"; it's false otherwise. undo

curprev 10:1410:14, 30 November 2019 Robin S talk contribs m 12,481 bytes +33 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy: moved link on "effective join" from effective join (redlink) to Turing degree#Turing equivalence, where the join is defined undo

curprev 12:5812:58, 21 September 2019 Ndcroos talk contribs 12,448 bytes +4 →Fundamental results undo
curprev 12:5512:55, 21 September 2019 Ndcroos talk contribs m 12,444 bytes +4 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo

curprev 10:1010:10, 16 June 2017 Magic links bot talk contribs m 12,440 bytes +16 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 21:2521:25, 26 March 2017 CBM talk contribs 12,424 bytes −37 rearrange a little to make the lede more interesting undo

curprev 16:1716:17, 27 December 2016 Omnipaedista talk contribs 12,461 bytes +4 as per WP:INITS undo

curprev 06:0106:01, 23 October 2016 R.e.b. talk contribs 12,457 bytes +53 →Generalizations: Adding/removing wikilink(s) undo

curprev 12:3712:37, 15 February 2016 CBM talk contribs 12,404 bytes −102 Undid revision 705040397 by Cedar101 (talk) - \leq_H should not be underset undo
curprev 04:0804:08, 15 February 2016 Cedar101 talk contribs m 12,506 bytes +102 →Relativized hyperarithmeticity and hyperdegrees: \underset \mathrm undo

curprev 22:2322:23, 6 October 2014 Mark viking talk contribs 12,404 bytes +28 →top: Added wl undo

curprev 09:4209:42, 5 May 2014 Yobot talk contribs m 12,376 bytes 0 WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 06:0206:02, 17 October 2013 David Eppstein talk contribs m 12,376 bytes +20 Julia F. Knight undo

curprev 11:1711:17, 8 September 2013 Yobot talk contribs m 12,356 bytes −8 Categories more at one line and/or other fixes using AWB (9466) undo

curprev 00:2200:22, 6 September 2013 50.164.202.78 talk 12,364 bytes −3 →External links: update link undo

curprev 03:2603:26, 27 July 2013 98.208.58.170 talk 12,367 bytes −5 →Hyperarithmetical sets undo Tag: Visual edit

curprev 04:3604:36, 23 November 2011 VladimirReshetnikov talk contribs 12,372 bytes +1 →Example: the truth set of arithmetic undo

curprev 13:0213:02, 2 September 2011 139.18.2.87 talk 12,371 bytes 0 →Relativized hyperarithmeticity and hyperdegrees undo

curprev 20:0020:00, 14 February 2011 Cydebot talk contribs m 12,371 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 20:5420:54, 12 February 2011 Gerard van Novaloka talk contribs 12,367 bytes +123 →References undo

curprev 09:3409:34, 31 October 2010 FrescoBot talk contribs m 12,244 bytes +2 Bot: fixing section wikilinks undo

curprev 10:3110:31, 7 February 2010 66.127.55.192 talk 12,242 bytes +106 →References: link to pdf's undo

curprev 21:4121:41, 25 November 2009 67.101.114.82 talk 12,136 bytes +95 →Hyperarithmetical sets: add name as well as the symbol and link undo

curprev 17:5517:55, 21 July 2009 128.84.234.204 talk 12,041 bytes +22 No edit summary undo

curprev 02:3002:30, 28 May 2009 71.139.41.131 talk 12,019 bytes +138 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo
curprev 02:2702:27, 28 May 2009 71.139.41.131 talk 11,881 bytes +4 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy undo

curprev 21:4521:45, 28 December 2007 Zero sharp talk contribs m 11,877 bytes +13 →Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy: link 'sup' to 'supremum' undo

curprev 04:0404:04, 11 August 2007 Tabletop talk contribs m 11,864 bytes +12 Spell specal => special undo

curprev 02:4202:42, 24 July 2007 CBM talk contribs 11,852 bytes −12 →References: I don't like reflist, so I created the refs section without it. undo
curprev 02:2502:25, 24 July 2007 Jreferee talk contribs m 11,864 bytes +10 →References: Added {{Reflist}} undo

curprev 18:2218:22, 22 July 2007 CBM talk contribs 11,854 bytes +11,854 Creat

2 April 2024

25 January 2024

7 September 2023

19 August 2023

13 February 2023

19 January 2023

15 January 2023

12 December 2022

14 October 2022

5 July 2022

1 July 2022

27 September 2021

30 November 2019

21 September 2019

16 June 2017

26 March 2017

27 December 2016

23 October 2016

15 February 2016

6 October 2014

5 May 2014

17 October 2013

8 September 2013

6 September 2013

27 July 2013

23 November 2011

2 September 2011

14 February 2011

12 February 2011

31 October 2010

7 February 2010

25 November 2009

21 July 2009

28 May 2009

28 December 2007

11 August 2007

24 July 2007

22 July 2007