Arithmetical hierarchy: 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:4717:47, 31 March 2025 Trovatore talk contribs 25,660 bytes +6 →The arithmetical hierarchy of formulas: restoring substantive change undo
curprev 17:4417:44, 31 March 2025 Trovatore talk contribs 25,654 bytes +41 Undid revision 1283297362 by Oneequalsequalsone (talk) please do not remove double spaces; it does not affect the rendered page undo Tag: Undo
curprev 16:5116:51, 31 March 2025 Oneequalsequalsone talk contribs 25,613 bytes −41 rm double space and change reference undo Tags: Reverted Visual edit

curprev 19:2719:27, 19 March 2025 Jean Abou Samra talk contribs m 25,654 bytes −31 Undid revision 1037076897 by C7XWiki (talk) — there are many hierarchies of this type (Levy, analytical, projective, polynomial, etc.), I don't think it makes sense to single this one out undo Tag: Undo

curprev 19:1819:18, 20 February 2025 Trovatore talk contribs 25,685 bytes −4 Undid revision 1276554796 by Chrisahn (talk) I actually don't think that's a good change; this is more consonant with the typical conventions in the field. "Bounded quantifier" is linked earlier but it's a long way back, so fair enough on linking it here undo

curprev 14:5014:50, 19 February 2025 Chrisahn talk contribs 25,689 bytes +8 →Examples: Maybe a bit simpler: use \le and 0..n instead of < and 0..n-1. undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 14:2314:23, 19 February 2025 2a01:e0a:d5f:6400:3c65:6f7a:c6b7:f823 talk 25,681 bytes +2 →Examples undo
curprev 14:2314:23, 19 February 2025 2a01:e0a:d5f:6400:3c65:6f7a:c6b7:f823 talk 25,679 bytes +2 →Examples undo

curprev 02:1002:10, 6 January 2025 Tule-hog talk contribs m 25,677 bytes −13 →Extensions and variations: lk is suprisingly phrased IMO, but only fixing target to moved content (note section renamed before move) undo

curprev 14:4314:43, 24 August 2024 Chrisahn talk contribs 25,690 bytes 0 Partial revert of Special:Diff/1151281847. All examples refer to sets, not to formulas, so the definition of these sets should appear before the examples. undo
curprev 14:3114:31, 24 August 2024 Chrisahn talk contribs 25,690 bytes +34 →The arithmetical hierarchy of formulas: {{Clarify|text=set parameters|date=August 2024}} undo
curprev 13:3213:32, 24 August 2024 Chrisahn talk contribs 25,656 bytes +2 →Examples: bound -> bounded undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 20:1320:13, 1 April 2024 82.25.27.218 talk 25,654 bytes +182 No edit summary undo

curprev 17:4217:42, 27 March 2024 83.55.108.92 talk 25,472 bytes +56 →The arithmetical hierarchy of formulas undo

curprev 22:4622:46, 28 November 2023 67.198.37.16 talk 25,416 bytes +44 →Examples: typeset ''n'' and ''f'' so they don't stick out like a sore thumb undo
curprev 22:4122:41, 28 November 2023 67.198.37.16 talk 25,372 bytes +9 →Examples: typeset X so it looks the same everywhere undo
curprev 22:3822:38, 28 November 2023 67.198.37.16 talk 25,363 bytes +16 →Examples: awkward wikilink G-delta set undo
curprev 22:3422:34, 28 November 2023 67.198.37.16 talk 25,347 bytes +28 →Examples: wikilink assorted terms. Not to make this a sea-of-blue, but still, some of these are nice. undo

curprev 23:4023:40, 30 October 2023 Trappist the monk talk contribs m 25,319 bytes −15 cite repair; undo Tag: AWB

curprev 22:4422:44, 18 August 2023 OAbot talk contribs m 25,334 bytes −4 Open access bot: doi updated in citation with #oabot. undo

curprev 02:5002:50, 12 August 2023 Mrfoogles talk contribs m 25,338 bytes −4 Unnecessary link undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 23:0523:05, 29 June 2023 C7XWiki talk contribs 25,342 bytes +246 Historical detail undo Tags: Mobile edit Mobile web edit

curprev 05:4205:42, 7 June 2023 AvatarsBlanc talk contribs m 25,096 bytes −2 →Properties: There was a coma right before a final stop, which was a typo. undo Tag: Visual edit

curprev 06:3206:32, 28 April 2023 Jslam talk contribs m 25,098 bytes +5 →The arithmetical hierarchy of formulas: Change "with bounded quantifiers" to "with only bounded quantifiers" undo
curprev 06:3006:30, 28 April 2023 Jslam talk contribs m 25,093 bytes −888 →The arithmetical hierarchy of formulas: Removed the claim that any bounded-quantifier formula is equivalent to a quantifier-free formula, since it is false. More details under "Talk". undo

curprev 01:4801:48, 23 April 2023 Caleb Stanford talk contribs 25,981 bytes +1 more sensible order undo Tag: 2017 wikitext editor

curprev 14:0514:05, 5 March 2023 Rodw talk contribs m 25,980 bytes +20 Disambiguating links to Transitivity (link changed to Transitive relation) using DisamAssist. undo
curprev 14:0514:05, 5 March 2023 Rodw talk contribs m 25,960 bytes +19 Disambiguating links to Reflexive (link changed to Reflexive relation) using DisamAssist. undo

curprev 00:0800:08, 29 January 2023 69.143.122.185 talk 25,941 bytes +664 →The arithmetical hierarchy of formulas: request for a citation of a crucial fact claimed in this section undo

curprev 00:2500:25, 9 January 2023 81.110.184.237 talk 25,277 bytes +393 No edit summary undo Tag: Disambiguation links added

curprev 23:4723:47, 14 October 2022 C7XWiki talk contribs 24,884 bytes +27 →See also undo Tags: Mobile edit Mobile web edit

curprev 14:4614:46, 1 September 2022 Typometer talk contribs m 24,857 bytes +2 →The arithmetical hierarchy of sets of natural numbers undo Tag: 2017 wikitext editor

curprev 05:5505:55, 21 June 2022 Hellacioussatyr talk contribs m 24,855 bytes +4 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 04:0404:04, 28 April 2022 Cosmia Nebula talk contribs 24,851 bytes +249 →The arithmetical hierarchy of formulas: clarified bounded quantifiers undo Tag: Visual edit

curprev 11:1011:10, 4 August 2021 C7XWiki talk contribs 24,602 bytes +11 →The arithmetical hierarchy of sets of natural numbers undo
curprev 11:1011:10, 4 August 2021 C7XWiki talk contribs 24,591 bytes +153 →The arithmetical hierarchy of sets of natural numbers undo
curprev 11:0511:05, 4 August 2021 C7XWiki talk contribs 24,438 bytes +31 Looks similar, revert if improper template usage undo Tag: Reverted

curprev 16:4516:45, 6 July 2021 OAbot talk contribs m 24,407 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 20:4720:47, 15 June 2021 84.245.120.107 talk 24,390 bytes −65 →The arithmetical hierarchy of formulas: minor improvements undo

curprev 00:4100:41, 4 June 2021 SpaceKablooie talk contribs 24,455 bytes +32 Added no footnotes template undo

curprev 18:1818:18, 6 March 2021 Tea2min talk contribs m 24,423 bytes +27 →top: Move links out of bolded term. undo

curprev 12:5812:58, 10 January 2021 Monkbot talk contribs m 24,396 bytes +1 Task 18 (cosmetic): eval 4 templates: hyphenate params (1×); undo Tag: AWB

curprev 09:1809:18, 21 October 2020 80.144.107.152 talk 24,395 bytes +1 →Arithmetic reducibility and degrees undo

curprev 00:0600:06, 23 May 2020 Crisperdue talk contribs 24,394 bytes +22 →See also undo

curprev 07:4207:42, 15 March 2020 Lycurgus talk contribs 24,372 bytes 0 →See also undo

curprev 02:4602:46, 5 March 2020 Captainllama talk contribs 24,372 bytes −1 Undid revision 943997438 by 103.255.7.27 (talk) undo Tag: Undo
curprev 02:4302:43, 5 March 2020 103.255.7.27 talk 24,373 bytes +1 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 09:4109:41, 26 February 2020 188.69.208.47 talk 24,372 bytes 0 →The arithmetical hierarchy of formulas: use r instead of m undo
curprev 09:4009:40, 26 February 2020 188.69.208.47 talk 24,372 bytes 0 →The arithmetical hierarchy of formulas: use m_k instead of n_k to avoid confusion with n undo

curprev 16:1616:16, 16 February 2020 2001:861:3ac0:4fa0:91ba:5d1d:88f9:25e4 talk 24,372 bytes +30 →References undo

31 March 2025

19 March 2025

20 February 2025

19 February 2025

6 January 2025

24 August 2024

1 April 2024

27 March 2024

28 November 2023

30 October 2023

18 August 2023

12 August 2023

29 June 2023

7 June 2023

28 April 2023

23 April 2023

5 March 2023

29 January 2023

9 January 2023

14 October 2022

1 September 2022

21 June 2022

28 April 2022

4 August 2021

6 July 2021

15 June 2021

4 June 2021

6 March 2021

10 January 2021

21 October 2020

23 May 2020

15 March 2020

5 March 2020

26 February 2020

16 February 2020