Independence (mathematical logic): Revision history

25 December 2023

• curprev 23:2123:21, 25 December 2023‎ 82.25.27.218 talk‎ 4,593 bytes +33‎ No edit summary undo

21 October 2023

• curprev 14:2914:29, 21 October 2023‎ Jochen Burghardt talk contribs‎ 4,560 bytes +297‎ →‎top: suggest teaser image undo
• curprev 12:4012:40, 21 October 2023‎ Ffffrr talk contribs‎ 4,263 bytes +49‎ Importing Wikidata short description: "Term in mathematical logic" undo Tag: Shortdesc helper

15 January 2022

• curprev 20:5020:50, 15 January 2022‎ Mgkrupa talk contribs‎ m 4,214 bytes +56‎ Added {{Mathematical logic}} undo

23 March 2021

• curprev 01:0101:01, 23 March 2021‎ Beland talk contribs‎ m 4,158 bytes −5‎ convert special characters (via WP:JWB) undo

27 November 2020

• curprev 07:4707:47, 27 November 2020‎ Monkbot talk contribs‎ m 4,163 bytes −8‎ Task 18 (cosmetic): eval 5 templates: del empty params (1×); undo Tag: AWB

25 November 2020

• curprev 18:4118:41, 25 November 2020‎ Jochen Burghardt talk contribs‎ 4,171 bytes −127‎ Undid revision 990641552 by Stephiefaulkner (talk) undo Tag: Undo
• curprev 17:4617:46, 25 November 2020‎ Stephiefaulkner talk contribs‎ 4,298 bytes +127‎ →‎Applications to physical theory undo Tag: Reverted

2 August 2020

• curprev 07:0307:03, 2 August 2020‎ Jochen Burghardt talk contribs‎ 4,171 bytes +928‎ Undid revision 970680385 by 22merlin (talk): please give a more elaborate justification on talk page before removing undo Tag: Undo

1 August 2020

• curprev 19:3319:33, 1 August 2020‎ 22merlin talk contribs‎ 3,243 bytes −928‎ fringe undo Tag: 2017 wikitext editor

8 September 2019

• curprev 01:0201:02, 8 September 2019‎ InternetArchiveBot talk contribs‎ 4,171 bytes +84‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

3 February 2019

• curprev 16:0716:07, 3 February 2019‎ Loraof talk contribs‎ 4,087 bytes −7‎ →‎top: as per WP:REFER undo

14 July 2018

• curprev 08:0608:06, 14 July 2018‎ Lowellian talk contribs‎ 4,094 bytes 0‎ →‎Independence results in set theory: consistency cpt in list undo

4 December 2017

• curprev 17:4017:40, 4 December 2017‎ Colonies Chris talk contribs‎ 4,094 bytes +2‎ →‎Independence results in set theory undo

7 July 2017

• curprev 20:5820:58, 7 July 2017‎ Alejandrocaro35 talk contribs‎ 4,092 bytes +34‎ No edit summary undo

1 July 2017

• curprev 23:4423:44, 1 July 2017‎ 66.194.72.18 talk‎ 4,058 bytes 0‎ Fix spelling error undo

13 February 2017

• curprev 15:2415:24, 13 February 2017‎ Loraof talk contribs‎ 4,058 bytes +24‎ →‎top: wikilink undo

12 February 2017

• curprev 06:3106:31, 12 February 2017‎ Jochen Burghardt talk contribs‎ 4,034 bytes +25‎ Undid revision 764978757 by Genkimarshall (talk): clause is not redundant (I can't, however, judge which version is right) undo
• curprev 00:3800:38, 12 February 2017‎ Renamed user OpZBdNLI25 talk contribs‎ m 4,009 bytes −25‎ Remove redundant clause undo

10 January 2017

• curprev 12:2512:25, 10 January 2017‎ CBM talk contribs‎ m 4,034 bytes −4‎ Previous refs used citation, keeping the same style undo
• curprev 01:5501:55, 10 January 2017‎ Headbomb talk contribs‎ 4,038 bytes +29‎ →‎References: ce undo
• curprev 01:5301:53, 10 January 2017‎ Headbomb talk contribs‎ 4,009 bytes −6‎ →‎Applications to physical theory: ce undo
• curprev 01:5101:51, 10 January 2017‎ Headbomb talk contribs‎ 4,015 bytes +250‎ ce undo
• curprev 01:4801:48, 10 January 2017‎ Headbomb talk contribs‎ 3,765 bytes 0‎ ce undo
• curprev 01:4701:47, 10 January 2017‎ Citation bot talk contribs‎ m 3,765 bytes +318‎ Add: year, pages, volume, journal, title, author pars. 1-7. You can use this bot yourself. Report bugs here. undo
• curprev 01:4701:47, 10 January 2017‎ Headbomb talk contribs‎ 3,447 bytes −229‎ ce undo
• curprev 01:0001:00, 10 January 2017‎ CBM talk contribs‎ 3,676 bytes −162‎ Keeping original reference formatting, removing another template, some copyediting undo

9 January 2017

• curprev 20:0220:02, 9 January 2017‎ Omnipaedista talk contribs‎ 3,838 bytes −109‎ rm misleading statement undo

22 September 2016

• curprev 19:5119:51, 22 September 2016‎ Headbomb talk contribs‎ 3,947 bytes −114‎ unreliable undo

17 June 2016

• curprev 20:3220:32, 17 June 2016‎ WhatamIdoing talk contribs‎ 4,061 bytes −58‎ Rm stray undo

1 June 2016

• curprev 05:0205:02, 1 June 2016‎ BG19bot talk contribs‎ m 4,119 bytes +11‎ →‎References: WP:CHECKWIKI error fix for #03. Missing Reflist. Do general fixes if a problem exists. -, replaced: → using AWB undo

31 May 2016

• curprev 07:0307:03, 31 May 2016‎ Stephiefaulkner talk contribs‎ 4,108 bytes +826‎ new section undo Tag: Visual edit
• curprev 06:4506:45, 31 May 2016‎ Stephiefaulkner talk contribs‎ 3,282 bytes +203‎ →‎References: Stabler reference added. undo Tag: Visual edit

18 April 2016

• curprev 11:2511:25, 18 April 2016‎ Jochen Burghardt talk contribs‎ 3,079 bytes +59‎ →‎Independence results in set theory: explaining "ZFC" undo

12 April 2016

• curprev 20:3720:37, 12 April 2016‎ Baking Soda talk contribs‎ 3,020 bytes 0‎ →‎See also: update --> List of statements independent of ZFC undo

9 January 2015

• curprev 19:5219:52, 9 January 2015‎ Trovatore talk contribs‎ 3,020 bytes +1‎ dummy edit: Previous edit summary was hastily phrased. I should have said *un*decidability requires inf many instances. See talk page. undo
• curprev 19:4019:40, 9 January 2015‎ Trovatore talk contribs‎ 3,019 bytes +77‎ Undid revision 641755921 by 204.228.139.195 (talk) sorry, that's confused. Decidability for decision problems *requires* infinitely many instances, not just one undo
• curprev 17:3717:37, 9 January 2015‎ 204.228.139.195 talk‎ 2,942 bytes −77‎ This is in fact a specific application of the meaning of "decidable" as applied in a decision problem, as a sentence is independent if and only if its truth value can be decided by an algorithm that enumerates all proofs. undo

19 October 2014

• curprev 00:3700:37, 19 October 2014‎ Hyacinth talk contribs‎ 3,019 bytes +4‎ →‎References: {{Metalogic}} undo

3 April 2014

• curprev 18:3118:31, 3 April 2014‎ Masssly talk contribs‎ 3,015 bytes −31‎ clean up using AWB undo

27 February 2013

• curprev 07:0207:02, 27 February 2013‎ Addbot talk contribs‎ m 3,046 bytes −218‎ Bot: Migrating 6 interwiki links, now provided by Wikidata on d:q2705017 (Report Errors) undo

2 April 2012

• curprev 19:5519:55, 2 April 2012‎ Nathanielfirst talk contribs‎ m 3,264 bytes +12‎ →‎See also undo

6 March 2012

• curprev 04:1404:14, 6 March 2012‎ Daysrr talk contribs‎ 3,252 bytes +3‎ →‎Independence results in set theory undo

30 December 2011

• curprev 04:3404:34, 30 December 2011‎ Trovatore talk contribs‎ 3,249 bytes −201‎ Undid revision 468440761 by 78.8.173.94 (talk) strikes me as belaboring the point undo
• curprev 04:1504:15, 30 December 2011‎ 78.8.173.94 talk‎ 3,450 bytes +201‎ No edit summary undo

24 May 2011

• curprev 21:1221:12, 24 May 2011‎ RA0808 talk contribs‎ m 3,249 bytes −62‎ Reverted edits by 173.76.24.175 (talk) to last revision by Theking17825 (HG) undo
• curprev 21:1021:10, 24 May 2011‎ 173.76.24.175 talk‎ 3,311 bytes +62‎ →‎Usage note undo
• curprev 21:0921:09, 24 May 2011‎ Theking17825 talk contribs‎ m 3,249 bytes −24‎ Reverted edits by 173.76.24.175 (talk) to last revision by LucienBOT (HG) undo
• curprev 21:0821:08, 24 May 2011‎ 173.76.24.175 talk‎ 3,273 bytes +24‎ →‎Usage note undo

10 April 2011

• curprev 11:5011:50, 10 April 2011‎ LucienBOT talk contribs‎ m 3,249 bytes +43‎ r2.6.4) (robot Adding: es:Independencia (lógica matemática) undo