Turing degree: 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 18:3218:32, 8 November 2023‎ OAbot talk contribs‎ m 24,390 bytes +16‎ Open access bot: doi updated in citation with #oabot. undo

curprev 19:1219:12, 1 September 2023‎ Citation bot talk contribs‎ 24,374 bytes +176‎ Alter: template type, pages. Add: s2cid, doi, isbn, series, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_toolbar undo

curprev 16:1616:16, 31 August 2023‎ Andy02124 talk contribs‎ m 24,198 bytes +1‎ sfn fix (date) undo

curprev 02:4002:40, 21 August 2023‎ Marc Schroeder talk contribs‎ m 24,197 bytes +1‎ added four inline references undo
curprev 02:1802:18, 21 August 2023‎ Marc Schroeder talk contribs‎ 24,196 bytes +869‎ →‎References: updated citations and references; continued undo

curprev 14:1414:14, 20 August 2023‎ Marc Schroeder talk contribs‎ m 23,327 bytes +107‎ updated citations and references; continued undo
curprev 09:1809:18, 20 August 2023‎ Marc Schroeder talk contribs‎ m 23,220 bytes +180‎ updated citations and references; will continue later undo Tag: harv-error

curprev 10:4010:40, 10 May 2023‎ 193.140.194.34 talk‎ 23,040 bytes −1‎ →‎Properties involving the jump: sentence in incorrect form undo

curprev 10:4410:44, 4 May 2023‎ LaundryPizza03 talk contribs‎ m 23,041 bytes +20‎ →‎Order properties undo

curprev 09:4009:40, 13 January 2023‎ C7XWiki talk contribs‎ 23,021 bytes 0‎ →‎Recursively enumerable Turing degrees undo Tags: Mobile edit Mobile web edit
curprev 09:1609:16, 13 January 2023‎ C7XWiki talk contribs‎ 23,021 bytes +314‎ →‎Recursively enumerable Turing degrees: Characterization of r.e. sets undo Tags: Mobile edit Mobile web edit

curprev 10:2210:22, 12 January 2023‎ C7XWiki talk contribs‎ 22,707 bytes +110‎ No edit summary undo Tags: Mobile edit Mobile web edit
curprev 10:1810:18, 12 January 2023‎ C7XWiki talk contribs‎ 22,597 bytes +375‎ →‎Recursively enumerable Turing degrees undo Tags: Mobile edit Mobile web edit
curprev 10:0610:06, 12 January 2023‎ C7XWiki talk contribs‎ 22,222 bytes +1,215‎ →‎Recursively enumerable Turing degrees undo Tags: Mobile edit Mobile web edit

curprev 22:2522:25, 26 December 2022‎ 47.54.51.155 talk‎ 21,007 bytes −1‎ →‎Order properties: Removed extraneous space. undo Tags: Mobile edit Mobile web edit
curprev 22:2022:20, 26 December 2022‎ 47.54.51.155 talk‎ 21,008 bytes +9‎ →‎Overview: Added clarifying word undo Tags: Mobile edit Mobile web edit

curprev 16:5516:55, 16 December 2022‎ Citation bot talk contribs‎ 20,999 bytes +57‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 1897/3850 undo

curprev 13:0613:06, 15 December 2022‎ Mechachleopteryx talk contribs‎ 20,942 bytes +2‎ →‎Overview undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 10:3710:37, 14 October 2022‎ C7XWiki talk contribs‎ 20,940 bytes 0‎ →‎Structure of the Turing degrees undo

curprev 04:3104:31, 12 October 2022‎ C7XWiki talk contribs‎ 20,940 bytes −8‎ →‎Properties involving the jump undo
curprev 04:3104:31, 12 October 2022‎ C7XWiki talk contribs‎ 20,948 bytes +321‎ A chain in the poset that has no proper extension →‎Properties involving the jump undo
curprev 03:5003:50, 12 October 2022‎ Dmytro talk contribs‎ 20,627 bytes +277‎ →‎Order properties: more on upper bounds for sequences of Turing degrees undo

curprev 17:4617:46, 13 September 2022‎ Dmytro talk contribs‎ m 20,350 bytes +9‎ →‎Post's problem and the priority method: clarify undo
curprev 15:5115:51, 13 September 2022‎ Dmytro talk contribs‎ 20,341 bytes +2,004‎ added an intermediate c.e. Turing degree construction undo

curprev 09:3909:39, 5 May 2022‎ TakuyaMurata talk contribs‎ 18,337 bytes +33‎ →‎Post's problem and the priority method: lk undo

curprev 02:2202:22, 5 January 2022‎ C7XWiki talk contribs‎ 18,304 bytes +31‎ →‎References undo
curprev 02:2102:21, 5 January 2022‎ C7XWiki talk contribs‎ 18,273 bytes +267‎ →‎Order properties undo

curprev 21:4821:48, 29 November 2021‎ Mathnerd314159 talk contribs‎ 18,006 bytes +149‎ →‎Properties involving the jump: : mention post's theorem undo

curprev 06:0706:07, 26 September 2021‎ 2a02:1205:507c:fe70:3d9a:912c:f83b:976 talk‎ 17,857 bytes −10‎ →‎Turing equivalence: Disambiguate which kind of lattice is meant (in a link) undo Tags: Mobile edit Mobile web edit

curprev 04:3004:30, 8 September 2021‎ Jade.Vogt talk contribs‎ m 17,867 bytes +47‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 09:2009:20, 6 September 2021‎ Narky Blert talk contribs‎ 17,820 bytes +26‎ dab-needed tag undo

curprev 20:3020:30, 20 August 2021‎ BrownHairedGirl talk contribs‎ 17,794 bytes 0‎ →‎References: fix citation(s) which used unsupported CS1 parameter "book-title" undo

curprev 20:5820:58, 30 April 2021‎ TheMathCat talk contribs‎ m 17,794 bytes +4‎ Link to journal added undo

curprev 07:3307:33, 27 April 2021‎ Jordan Mitchell Barrett talk contribs‎ m 17,790 bytes +16‎ →‎Properties involving the jump: added name "jump inversion" undo Tag: Visual edit

curprev 13:4113:41, 21 April 2021‎ 2a02:1812:1700:c500:f92f:d687:e89:cf7 talk‎ 17,774 bytes +244‎ No edit summary undo

curprev 08:2808:28, 29 March 2021‎ Hector Trojan talk contribs‎ 17,530 bytes +16‎ added template undo

curprev 21:2321:23, 26 March 2021‎ Tom.Reding talk contribs‎ m 17,514 bytes +23‎ +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 19:3019:30, 13 January 2021‎ Monkbot talk contribs‎ m 17,491 bytes +2‎ Task 18 (cosmetic): eval 14 templates: hyphenate params (2×); undo Tag: AWB

curprev 16:3516:35, 19 November 2020‎ 84.245.121.159 talk‎ 17,489 bytes −1‎ →‎Recursively enumerable Turing degrees: chronological order undo
curprev 16:2116:21, 19 November 2020‎ 84.245.121.159 talk‎ 17,490 bytes −2‎ →‎Properties involving the jump: 'sequence' is misleading since they are pairwise incomparable undo

curprev 08:5108:51, 24 October 2020‎ Jordan Mitchell Barrett talk contribs‎ m 17,492 bytes +25‎ →‎Post's problem and the priority method: link to Friedberg undo Tag: Visual edit

curprev 10:1010:10, 7 September 2020‎ Jordan Mitchell Barrett talk contribs‎ 17,467 bytes −7‎ →‎Structure of the recursively enumerable Turing degrees undo Tag: Visual edit

curprev 15:3615:36, 15 April 2020‎ OAbot talk contribs‎ m 17,474 bytes +57‎ Open access bot: doi added to citation with #oabot. undo

curprev 18:3818:38, 2 February 2020‎ 1234qwer1234qwer4 talk contribs‎ m 17,417 bytes +44‎ link Boolean algebra using Find link, style undo

curprev 03:3203:32, 18 December 2019‎ InternetArchiveBot talk contribs‎ 17,373 bytes +86‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 12:0012:00, 7 May 2019‎ Gfredericks756 talk contribs‎ m 17,287 bytes +2‎ →‎Structure of the r.e. Turing degrees: more consistent r.e. formatting undo

curprev 01:1001:10, 11 February 2019‎ Citation bot talk contribs‎ m 17,285 bytes +73‎ Alter: pages. Add: issue, citeseerx. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 16:5116:51, 23 August 2018‎ JCW-CleanerBot talk contribs‎ m 17,212 bytes −9‎ task, replaced: J. Symb. Logic → J. Symb. Log. undo Tag: AWB

curprev 12:2012:20, 19 January 2018‎ Mfb talk contribs‎ 17,221 bytes +20‎ →‎Structure of the r.e. Turing degrees: helpful link to understand the image, directly before the image undo

curprev 03:2403:24, 2 December 2017‎ JCW-CleanerBot talk contribs‎ m 17,201 bytes +8‎ →‎References: task, replaced: J. Symbolic Logic → Journal of Symbolic Logic using AWB undo

8 November 2023

1 September 2023

31 August 2023

21 August 2023

20 August 2023

10 May 2023

4 May 2023

13 January 2023

12 January 2023

26 December 2022

16 December 2022

15 December 2022

14 October 2022

12 October 2022

13 September 2022

5 May 2022

5 January 2022

29 November 2021

26 September 2021

8 September 2021

6 September 2021

20 August 2021

30 April 2021

27 April 2021

21 April 2021

29 March 2021

26 March 2021

13 January 2021

19 November 2020

24 October 2020

7 September 2020

15 April 2020

2 February 2020

18 December 2019

7 May 2019

11 February 2019

23 August 2018

19 January 2018

2 December 2017