Ω-consistent theory: 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 12:3112:31, 30 January 2024 149.199.80.130 talk 13,405 bytes +1 →Examples: Fixed a typo. undo

curprev 13:3113:31, 8 January 2024 82.103.113.74 talk 13,404 bytes +82 Reword the PA + ¬Con(PA) example a little bit undo

curprev 11:4511:45, 7 January 2024 Oneequalsequalsone talk contribs m 13,322 bytes −1 →Definition undo Tag: Visual edit

curprev 01:5501:55, 13 September 2023 C7XWiki talk contribs 13,323 bytes +195 →Definition undo

curprev 14:4614:46, 26 August 2023 Elttaruuu talk contribs m 13,128 bytes +42 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 00:0600:06, 18 March 2023 C7XWiki talk contribs 13,086 bytes +247 No edit summary undo

curprev 23:5523:55, 2 March 2023 C7XWiki talk contribs 12,839 bytes −46 No edit summary undo
curprev 23:5423:54, 2 March 2023 C7XWiki talk contribs 12,885 bytes +324 →Definition undo

curprev 07:1607:16, 8 November 2022 Trovatore talk contribs 12,561 bytes +60 Undid revision 1120677005 by C7XWiki (talk) generally not a good idea to wikilink math formulas. Also a bit of a WP:EASTEREGG undo Tag: Undo
curprev 06:3706:37, 8 November 2022 C7XWiki talk contribs 12,501 bytes −60 No edit summary undo Tag: Reverted

curprev 18:1718:17, 6 December 2021 Citation bot talk contribs 12,561 bytes −13 Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 880/881 undo

curprev 00:0800:08, 25 October 2021 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk 12,574 bytes +162 No edit summary undo

curprev 22:3022:30, 23 April 2021 2a02:1812:1700:c500:5019:d590:1272:23f2 talk 12,412 bytes +4 No edit summary undo

curprev 00:3300:33, 30 October 2020 Pit rock talk contribs m 12,408 bytes +23 →Bibliography: +{{authority control}} undo

curprev 08:1008:10, 3 October 2020 2601:644:400:170:bc7b:cd81:a099:9aa6 talk 12,385 bytes −38 →Consistent, ω-inconsistent theories undo

curprev 04:3504:35, 23 July 2020 Omnipaedista talk contribs 12,423 bytes +2 fix typo undo
curprev 04:3404:34, 23 July 2020 Omnipaedista talk contribs 12,421 bytes −14 unpiping link undo

curprev 22:3722:37, 21 June 2019 12.30.114.96 talk 12,435 bytes −73 Changed vague term "computer program" to more precise "Turing machine" undo

curprev 22:2722:27, 20 January 2019 Bender235 talk contribs m 12,508 bytes +4 Typo fixing, typo(s) fixed: … → ... (2) undo Tag: AWB

curprev 18:3818:38, 8 September 2017 RJGray talk contribs 12,504 bytes +16 →ω-logic: link undo

curprev 09:2209:22, 28 August 2017 176.139.89.213 talk 12,488 bytes +27 No edit summary undo Tag: Visual edit

curprev 11:2511:25, 25 July 2017 AnomieBOT talk contribs m 12,461 bytes +15 Dating maintenance tags: {{Huh}} undo
curprev 09:2509:25, 25 July 2017 77.105.20.81 talk 12,446 bytes +56 →Definition: computer program? undo

curprev 01:3601:36, 2 February 2017 CBM talk contribs m 12,390 bytes 0 Restore reference style; no need for columns undo

curprev 19:5519:55, 1 February 2017 Omnipaedista talk contribs 12,390 bytes +7 No edit summary undo

curprev 11:4411:44, 9 October 2016 Bender the Bot talk contribs m 12,383 bytes +1 →Relation to other consistency principles: http→https for Google Books and Google News using AWB undo

curprev 10:2710:27, 8 September 2016 CBM talk contribs 12,382 bytes −15 →Definition: Since T has already proven P(n) for all standard n, the n for which P fails must be nonstandard undo
curprev 09:5709:57, 8 September 2016 104.132.45.100 talk 12,397 bytes +9 Fixed remarks about consistency and standardness undo Tags: Mobile edit Mobile web edit

curprev 04:4504:45, 15 October 2015 BG19bot talk contribs m 12,388 bytes +2 →Bibliography: WP:CHECKWIKI error fix. Broken bracket. Do general fixes if a problem exists. - using AWB (11700) undo

curprev 22:5422:54, 14 October 2015 Bgwhite talk contribs 12,386 bytes +15 Add DEFAULTSORT -, typo(s) fixed: Therefore → Therefore, using AWB undo

curprev 17:3317:33, 3 September 2015 Dexbot talk contribs m 12,371 bytes +219 Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 23:3223:32, 9 May 2015 AManWithNoPlan talk contribs 12,152 bytes +12 add first name undo
curprev 23:3223:32, 9 May 2015 Citation bot talk contribs m 12,140 bytes −59 [579]Alter: url. You can use this bot yourself. Report bugs here. undo
curprev 23:3123:31, 9 May 2015 AManWithNoPlan talk contribs 12,199 bytes +205 expand ref undo

curprev 22:1422:14, 17 September 2013 Yobot talk contribs m 11,994 bytes −1 →Definition: WP:CHECKWIKI error fixes / special characters in pagetitle using AWB (9485) undo

curprev 06:1306:13, 15 March 2013 Addbot talk contribs m 11,995 bytes −50 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q293137 undo

curprev 22:4422:44, 29 November 2012 Jack Greenmaven talk contribs 12,045 bytes −12 Reverted good faith edit(s) by 74.106.201.10 using STiki undo

curprev 22:2922:29, 28 November 2012 74.106.201.10 talk 12,057 bytes +12 →Definition undo

curprev 10:5210:52, 2 November 2012 CBM talk contribs 12,045 bytes +161 →Examples: Add section headers; the bullets and split paragraphs were not clear to me undo

curprev 13:3213:32, 26 October 2012 EmilJ talk contribs 11,884 bytes +82 →ω-logic: ref undo
curprev 05:1505:15, 26 October 2012 74.106.201.10 talk 11,802 bytes +14 →ω-logic undo

curprev 06:5206:52, 1 April 2012 161.184.222.239 talk 11,788 bytes −9 Undid revision 484958022 by 161.184.222.239 (talk) I'm an idiot. Sorry. I forgot T also has to be primitively recursively axiomatized and some other stuff. Many apologies people. undo
curprev 06:4806:48, 1 April 2012 161.184.222.239 talk 11,797 bytes +9 The original claim is false. Suppose T is omega-consistent. If T is not Sigma-1 sound, then it can be easily shown that T is 1-inconsistent. But then T would be omega-inconsistent. Contradiction. undo

curprev 01:0301:03, 11 August 2011 Trovatore talk contribs 11,788 bytes −25 Undid revision 444163291 by BinaryFriend (talk) unreferenced claim, and implausible, because I would have expected to have heard of him and I haven't undo

curprev 23:5923:59, 10 August 2011 BinaryFriend talk contribs 11,813 bytes +25 No edit summary undo

curprev 01:2401:24, 21 March 2011 67.193.191.191 talk 11,788 bytes −5 rv to last working version undo

curprev 11:1711:17, 14 October 2010 EmilJ talk contribs m 11,793 bytes +5 →Examples: fmt undo
curprev 11:0911:09, 14 October 2010 EmilJ talk contribs 11,788 bytes +1 →Definition: fix last edit, and expand the unsightly entities undo
curprev 03:1903:19, 14 October 2010 Xantharius talk contribs m 11,787 bytes −2 →Definition: Unifying math styles as per WP:MOS undo

curprev 19:4719:47, 15 August 2010 CBM talk contribs 11,789 bytes +139 →Definition: split long sentence. This section needs a lot of help undo

30 January 2024

8 January 2024

7 January 2024

13 September 2023

26 August 2023

18 March 2023

2 March 2023

8 November 2022

6 December 2021

25 October 2021

23 April 2021

30 October 2020

3 October 2020

23 July 2020

21 June 2019

20 January 2019

8 September 2017

28 August 2017

25 July 2017

2 February 2017

1 February 2017

9 October 2016

8 September 2016

15 October 2015

14 October 2015

3 September 2015

9 May 2015

17 September 2013

15 March 2013

29 November 2012

28 November 2012

2 November 2012

26 October 2012

1 April 2012

11 August 2011

10 August 2011

21 March 2011

14 October 2010

15 August 2010