Lévy hierarchy: Revision history

4 October 2024

• curprev 09:4409:44, 4 October 2024 PicoMath talk contribs 10,553 bytes +158 →Δ1-formulas and concepts: Added example undo Tag: 2017 wikitext editor

3 August 2024

• curprev 03:2003:20, 3 August 2024 A1244 talk contribs m 10,395 bytes +15 No edit summary undo Tag: Visual edit

31 July 2024

• curprev 06:0806:08, 31 July 2024 2001:8003:7829:b01:158f:44:8066:25c5 talk 10,380 bytes −1 No edit summary undo

31 January 2024

• curprev 04:4004:40, 31 January 2024 C7XWiki talk contribs 10,381 bytes +16 →Definitions undo
• curprev 04:4004:40, 31 January 2024 C7XWiki talk contribs 10,365 bytes +36 →Δ1-formulas and concepts undo
• curprev 04:4004:40, 31 January 2024 C7XWiki talk contribs 10,329 bytes +14 →Definitions undo

6 August 2023

• curprev 22:0922:09, 6 August 2023 Iljhgtn talk contribs m 10,315 bytes −1 Spelling/grammar/punctuation/typographical correction undo Tag: Visual edit

31 July 2023

• curprev 15:1315:13, 31 July 2023 SdkbBot talk contribs m 10,316 bytes +82 Removed erroneous space and general fixes (task 1) undo Tag: AWB

28 July 2023

• curprev 07:1107:11, 28 July 2023 C7XWiki talk contribs 10,234 bytes +1 No edit summary undo
• curprev 06:1606:16, 28 July 2023 AnomieBOT talk contribs m 10,233 bytes +30 Dating maintenance tags: {{Citation needed}} undo
• curprev 04:1604:16, 28 July 2023 C7XWiki talk contribs 10,203 bytes +1,116 →Properties undo
• curprev 04:0304:03, 28 July 2023 C7XWiki talk contribs 9,087 bytes +192 →Definitions undo
• curprev 03:3203:32, 28 July 2023 C7XWiki talk contribs 8,895 bytes +191 →Definitions undo
• curprev 03:2703:27, 28 July 2023 C7XWiki talk contribs 8,704 bytes +159 Relevant quote: "strictly speaking one should indicate relative to which subtheory ... provable" →Definitions undo
• curprev 03:2403:24, 28 July 2023 C7XWiki talk contribs 8,545 bytes +58 No such thing as a Δ_n formula →Definitions undo

17 July 2023

• curprev 19:3719:37, 17 July 2023 Fyrael talk contribs 8,487 bytes −2 fix ref undo

14 July 2023

• curprev 08:3908:39, 14 July 2023 C7XWiki talk contribs 8,489 bytes −17 →Examples undo
• curprev 08:3708:37, 14 July 2023 C7XWiki talk contribs 8,506 bytes +174 →Σ1-formulas and concepts undo
• curprev 08:2608:26, 14 July 2023 C7XWiki talk contribs 8,332 bytes +267 →Σ1-formulas and concepts undo
• curprev 08:2208:22, 14 July 2023 C7XWiki talk contribs 8,065 bytes +22 →Σ0=Π0=Δ0 formulas and concepts undo
• curprev 08:2108:21, 14 July 2023 C7XWiki talk contribs 8,043 bytes +8 →Δ1-formulas and concepts undo
• curprev 08:1808:18, 14 July 2023 C7XWiki talk contribs 8,035 bytes +434 More properties and citations undo

6 June 2023

• curprev 04:4604:46, 6 June 2023 C7XWiki talk contribs 7,601 bytes 0 Fixing year undo
• curprev 04:1104:11, 6 June 2023 C7XWiki talk contribs 7,601 bytes +17 No edit summary undo
• curprev 04:1104:11, 6 June 2023 C7XWiki talk contribs 7,584 bytes +320 →Π2-formulas and concepts undo

5 May 2023

• curprev 06:5006:50, 5 May 2023 Zxcvbnm talk contribs m 7,264 bytes +21 Disambiguating links to Absolute (link changed to Absoluteness (logic)) using DisamAssist. undo

2 December 2022

• curprev 02:1502:15, 2 December 2022 C7XWiki talk contribs 7,243 bytes +225 →Σ0=Π0=Δ0 formulas and concepts undo

8 November 2022

• curprev 03:3303:33, 8 November 2022 C7XWiki talk contribs 7,018 bytes +148 Another reference for Σ_i and Π_i undo

25 July 2022

• curprev 06:3706:37, 25 July 2022 C7XWiki talk contribs 6,870 bytes +2 →Δ1-formulas and concepts undo
• curprev 06:3606:36, 25 July 2022 C7XWiki talk contribs 6,868 bytes +145 Citation →Δ1-formulas and concepts undo

2 July 2022

• curprev 03:1203:12, 2 July 2022 C7XWiki talk contribs 6,723 bytes +7 Correction of citation undo
• curprev 03:0903:09, 2 July 2022 C7XWiki talk contribs 6,716 bytes +105 →Δ1-formulas and concepts undo

7 March 2022

• curprev 04:4204:42, 7 March 2022 C7XWiki talk contribs 6,611 bytes −5 →Definitions undo
• curprev 04:4104:41, 7 March 2022 C7XWiki talk contribs 6,616 bytes +272 →Definitions undo

6 March 2022

• curprev 00:2200:22, 6 March 2022 C7XWiki talk contribs 6,344 bytes +213 The line "" from A hierarchy of formulas in set theory →Definitions undo

11 December 2021

• curprev 14:4114:41, 11 December 2021 Citation bot talk contribs 6,131 bytes −192 Add: issue. Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. Removed parameters. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 199/207 undo

20 September 2021

• curprev 11:0311:03, 20 September 2021 2a02:1812:110c:dc00:adbf:abe0:79d7:c195 talk 6,323 bytes +141 No edit summary undo

6 July 2021

• curprev 04:0204:02, 6 July 2021 OAbot talk contribs m 6,182 bytes +18 Open access bot: doi added to citation with #oabot. undo

23 May 2021

• curprev 22:0422:04, 23 May 2021 Bender the Bot talk contribs m 6,164 bytes +1 →Σ₀=Π₀=Δ₀ formulas and concepts: HTTP → HTTPS for Wayback Machine, replaced: http://web.archive.org/ → https://web.archive.org/ undo Tag: AWB

13 May 2021

• curprev 02:3702:37, 13 May 2021 C7XWiki talk contribs 6,163 bytes +102 No edit summary undo Tag: Visual edit
• curprev 02:3502:35, 13 May 2021 C7XWiki talk contribs 6,061 bytes −60 →Σ0=Π0=Δ0 formulas and concepts undo
• curprev 02:3502:35, 13 May 2021 C7XWiki talk contribs 6,121 bytes +229 →Σ0=Π0=Δ0 formulas and concepts undo

11 February 2021

• curprev 22:4722:47, 11 February 2021 C7XWiki talk contribs 5,892 bytes −57 No edit summary undo
• curprev 22:4622:46, 11 February 2021 C7XWiki talk contribs 5,949 bytes +10 →Σ1-formulas and concepts undo
• curprev 22:4522:45, 11 February 2021 C7XWiki talk contribs 5,939 bytes +11 No edit summary undo
• curprev 22:4522:45, 11 February 2021 C7XWiki talk contribs 5,928 bytes +183 →Σ1-formulas and concepts undo

9 June 2020

• curprev 15:1815:18, 9 June 2020 InternetArchiveBot talk contribs 5,745 bytes +148 Bluelink 1 book for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

20 March 2020

• curprev 14:5614:56, 20 March 2020 InternetArchiveBot talk contribs 5,597 bytes +164 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

5 December 2019

• curprev 20:0120:01, 5 December 2019 Sun Creator talk contribs 5,433 bytes +1 →Σ₄-formulas and concepts: General fixes, replaced: a extendible cardinal → an extendible cardinal undo Tag: AWB

12 May 2018

• curprev 11:2111:21, 12 May 2018 Querious talk contribs m 5,432 bytes +44 added to category "Mathematical logic hierarchies" undo Tag: Visual edit