Logical independence: Revision history

5 September 2026

• curprev 21:5921:59, 5 September 2026 Tlonuqbar talk contribs 8,544 bytes +249 more history Tag: Visual edit

2 August 2026

• curprev 08:1908:19, 2 August 2026 Tlonuqbar talk contribs 8,295 bytes +28 fixing deadlink Tag: Visual edit
• curprev 08:1508:15, 2 August 2026 Tlonuqbar talk contribs 8,267 bytes +16 github name Tag: Visual edit

29 July 2026

• curprev 04:5304:53, 29 July 2026 Tlonuqbar talk contribs 8,251 bytes +49 →History: regularity equiconsistence

14 March 2026

• curprev 18:3418:34, 14 March 2026 C7X talk contribs 8,202 bytes 0 More common phrasing →Large cardinals

12 March 2026

• curprev 02:0302:03, 12 March 2026 Tlonuqbar talk contribs 8,202 bytes −3 No edit summary Tag: Visual edit
• curprev 02:0202:02, 12 March 2026 Tlonuqbar talk contribs 8,205 bytes −3 simplify Tag: Visual edit
• curprev 01:5401:54, 12 March 2026 Tlonuqbar talk contribs 8,208 bytes +24 clarifying Tag: Visual edit
• curprev 01:5001:50, 12 March 2026 Tlonuqbar talk contribs 8,184 bytes −10 correcting statement Tag: Visual edit
• curprev 01:2801:28, 12 March 2026 Tlonuqbar talk contribs 8,194 bytes +46 crediting oscar cunningham Tag: Visual edit

1 March 2026

• curprev 05:2205:22, 1 March 2026 C7X talk contribs 8,148 bytes +12 This is less invariant to how a theory is defined (as a set of axioms or as a deductively closed set of formulas), but equally general due to Craig's theorem

28 February 2026

• curprev 02:4002:40, 28 February 2026 C7X talk contribs 8,136 bytes +216 Add to citations →Large cardinals
• curprev 02:3602:36, 28 February 2026 C7X talk contribs 7,920 bytes +45 MathJax
• curprev 02:3402:34, 28 February 2026 C7X talk contribs 7,875 bytes +7 Infinitely many axioms

27 February 2026

• curprev 06:3906:39, 27 February 2026 Tlonuqbar talk contribs 7,868 bytes +6 No edit summary Tag: Visual edit
• curprev 06:3706:37, 27 February 2026 Tlonuqbar talk contribs 7,862 bytes +1 No edit summary
• curprev 06:1206:12, 27 February 2026 Tlonuqbar talk contribs 7,861 bytes +867 No edit summary Tag: Visual edit
• curprev 06:0106:01, 27 February 2026 Sligocki talk contribs m 6,994 bytes +19 Citation needed Tag: Visual edit
• curprev 05:1405:14, 27 February 2026 Tlonuqbar talk contribs 6,975 bytes +204 No edit summary Tag: Visual edit

25 February 2026

• curprev 22:2522:25, 25 February 2026 Tlonuqbar talk contribs 6,771 bytes +358 No edit summary Tag: Visual edit: Switched
• curprev 22:0922:09, 25 February 2026 Tlonuqbar talk contribs 6,413 bytes +1,016 No edit summary Tag: Visual edit: Switched
• curprev 21:5621:56, 25 February 2026 Tlonuqbar talk contribs 5,397 bytes +235 No edit summary Tag: Visual edit

23 February 2026

• curprev 01:2601:26, 23 February 2026 Tlonuqbar talk contribs 5,162 bytes +6 No edit summary Tag: Visual edit

22 February 2026

• curprev 22:1422:14, 22 February 2026 Tlonuqbar talk contribs 5,156 bytes +958 adding SRP info Tag: Visual edit

20 February 2026

• curprev 13:5113:51, 20 February 2026 Polygon talk contribs 4,198 bytes +22 Added Category:Zoology

19 February 2026

• curprev 18:2518:25, 19 February 2026 Polygon talk contribs m 4,176 bytes +1 fixed typo

13 February 2026

• curprev 00:3100:31, 13 February 2026 Tlonuqbar talk contribs 4,175 bytes +111 No edit summary Tag: Visual edit: Switched

12 February 2026

• curprev 04:5904:59, 12 February 2026 Sligocki talk contribs 4,064 bytes +31 Add conjecture for N_PA Tag: Visual edit

11 February 2026

• curprev 22:1022:10, 11 February 2026 Tlonuqbar talk contribs 4,033 bytes +327 adding PA independent machine Tag: Visual edit: Switched
• curprev 22:0622:06, 11 February 2026 Tlonuqbar talk contribs m 3,706 bytes 0 Tlonuqbar moved page Independence from ZFC to Logical independence: expanding scope

5 December 2025

• curprev 16:2616:26, 5 December 2025 Sligocki talk contribs m 3,706 bytes −8 shorten Tag: Visual edit
• curprev 16:2416:24, 5 December 2025 Sligocki talk contribs 3,714 bytes +37 Add soundness as a requirement to ZF upper-bound argument. Otherwise (in theory) ZF could prove the TM halts ... Tag: Visual edit: Switched

3 September 2025

• curprev 16:4216:42, 3 September 2025 Sligocki talk contribs 3,677 bytes +72 Andrew retracted 385 value Tag: Visual edit
• curprev 16:3616:36, 3 September 2025 Sligocki talk contribs 3,605 bytes −349 Add Wade's new 385 champ Tag: Visual edit
• curprev 16:2716:27, 3 September 2025 Sligocki talk contribs 3,954 bytes +76 Link (and spell out) ZF Tag: Visual edit

22 July 2025

• curprev 01:2701:27, 22 July 2025 Sligocki talk contribs 3,878 bytes +480 Add section on N_ZFC = N_ZF Tag: Visual edit

21 July 2025

• curprev 15:5615:56, 21 July 2025 Sligocki talk contribs 3,398 bytes +56 →History: Clarify that some are self-reported Tag: Visual edit
• curprev 15:5515:55, 21 July 2025 Sligocki talk contribs 3,342 bytes −418 →History: One number per row in table and update other numbers. Tag: Visual edit
• curprev 06:4506:45, 21 July 2025 Arcorann talk contribs 3,760 bytes +1,289 →History

6 July 2025

• curprev 08:5708:57, 6 July 2025 Arcorann talk contribs 2,471 bytes +14 No edit summary Tag: Visual edit
• curprev 08:5708:57, 6 July 2025 Arcorann talk contribs 2,457 bytes +215 No edit summary

30 June 2025

• curprev 21:0621:06, 30 June 2025 Sligocki talk contribs m 2,242 bytes +4 link Frontier Tag: Visual edit
• curprev 20:5820:58, 30 June 2025 Sligocki talk contribs 2,238 bytes +2,145 Create article and add rough history Tag: Visual edit

28 April 2025

• curprev 19:0619:06, 28 April 2025 Lucianchauvin talk contribs 93 bytes +93 Created page with "'''Independence from ZFC''' refers to whether the computation of BB(n) is independent of ZFC." Tag: Visual edit: Switched