Ω-consistent theory: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

Find addition/removal ^(Alternate)
Find edits by user ^(Alternate)
Page statistics
Pageviews
Fix dead links

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