True arithmetic: Revision history

10 May 2024

• curprev 05:3205:32, 10 May 2024‎ Maxeto0910 talk contribs‎ 9,086 bytes −4‎ per WP:HOWTOSD undo Tags: Mobile edit Mobile web edit Advanced mobile edit

6 February 2024

• curprev 13:5913:59, 6 February 2024‎ Vkuncak talk contribs‎ m 9,090 bytes +22‎ citation to arithmetic with multiplication only undo

4 November 2021

• curprev 12:1612:16, 4 November 2021‎ Hellacioussatyr talk contribs‎ 9,068 bytes −1‎ →‎Arithmetic undefinability undo Tags: Mobile edit Mobile web edit Advanced mobile edit

26 September 2021

• curprev 03:4003:40, 26 September 2021‎ Yitzilitt talk contribs‎ 9,069 bytes +105‎ Adding short description: "The set of all true first-order statements about the arithmetic of natural numbers" (Shortdesc helper) undo

20 April 2021

• curprev 16:3916:39, 20 April 2021‎ 2a02:1812:1700:c500:f92f:d687:e89:cf7 talk‎ 8,964 bytes +263‎ No edit summary undo

23 February 2020

• curprev 14:3914:39, 23 February 2020‎ Fruits Monster talk contribs‎ 8,701 bytes +512‎ added references. undo

27 May 2019

• curprev 11:5211:52, 27 May 2019‎ Joel Brennan talk contribs‎ m 8,189 bytes +1‎ →‎Computability properties undo
• curprev 11:5111:51, 27 May 2019‎ Joel Brennan talk contribs‎ m 8,188 bytes +18‎ →‎Definition undo
• curprev 11:5011:50, 27 May 2019‎ Joel Brennan talk contribs‎ m 8,170 bytes +2‎ →‎Definition undo

9 December 2017

• curprev 01:3001:30, 9 December 2017‎ JCW-CleanerBot talk contribs‎ m 8,168 bytes −15‎ →‎References: task, replaced: journal=Annals of Mathematics. Second Series → journal=Annals of Mathematics |series=Second Series using AWB undo

9 November 2017

• curprev 23:5723:57, 9 November 2017‎ KAP03 talk contribs‎ m 8,183 bytes +3‎ Reverted 2 edits by 132.178.151.27 (talk) to last revision by 65.112.10.139. (TW) undo
• curprev 23:4823:48, 9 November 2017‎ 132.178.151.27 talk‎ 8,180 bytes −2‎ →‎Arithmetic undefinability undo
• curprev 23:3623:36, 9 November 2017‎ 132.178.151.27 talk‎ 8,182 bytes −1‎ →‎Definition: Changed \models to \vDash undo

20 December 2016

• curprev 06:3306:33, 20 December 2016‎ 65.112.10.139 talk‎ 8,183 bytes 0‎ →‎Arithmetic indefinability: typo fix including in link undo
• curprev 06:3206:32, 20 December 2016‎ 65.112.10.139 talk‎ 8,183 bytes 0‎ →‎Arithmetic indefinability: typo fix undo

25 June 2014

• curprev 05:1405:14, 25 June 2014‎ R.e.b. talk contribs‎ 8,183 bytes +154‎ →‎top: Expanding article undo

25 October 2013

• curprev 04:5404:54, 25 October 2013‎ BG19bot talk contribs‎ m 8,029 bytes −15‎ WP:CHECKWIKI error fix for #64. Do general fixes if a problem exists. - using AWB (9549) undo

24 October 2013

• curprev 22:2522:25, 24 October 2013‎ CBM talk contribs‎ 8,044 bytes +5‎ Restore the inline citation, and phrase the sentence without "is called" undo
• curprev 22:1122:11, 24 October 2013‎ Liiiii talk contribs‎ 8,039 bytes +18‎ No footnotes template undo
• curprev 22:0822:08, 24 October 2013‎ Liiiii talk contribs‎ 8,021 bytes +14‎ Some rewording. undo
• curprev 21:2821:28, 24 October 2013‎ Liiiii talk contribs‎ 8,007 bytes +10‎ Rephrased introduction to make more clear undo

15 August 2013

• curprev 06:1606:16, 15 August 2013‎ 72.229.39.72 talk‎ 7,997 bytes +6‎ bolded extremely important term "standard model" undo Tag: Visual edit

25 July 2013

• curprev 01:4101:41, 25 July 2013‎ The Annoyed Logician talk contribs‎ m 7,991 bytes +22‎ →‎Arithmetic indefinability: Added '(x)' to clarify that \phi must have a single free variable undo
• curprev 01:3801:38, 25 July 2013‎ The Annoyed Logician talk contribs‎ m 7,969 bytes −14‎ →‎Arithmetic indefinability: Signatures don't have formulas/sentences, languages do; also, "universal formula" is likely doing more harm than good (since it's a defined term in logic) undo

24 March 2013

• curprev 13:3013:30, 24 March 2013‎ Addbot talk contribs‎ m 7,983 bytes −21‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7847560 undo

16 March 2013

• curprev 11:5411:54, 16 March 2013‎ Klemen Kocjancic talk contribs‎ m 8,004 bytes −3‎ →‎References: clean up using AWB (8853) undo

21 September 2012

• curprev 15:3615:36, 21 September 2012‎ CBM talk contribs‎ 8,007 bytes +2‎ →‎Computability properties: parentheses undo

11 May 2012

• curprev 07:0007:00, 11 May 2012‎ Helpful Pixie Bot talk contribs‎ m 8,005 bytes +3‎ ISBNs (Build KE) undo

21 January 2012

• curprev 12:5512:55, 21 January 2012‎ CBM talk contribs‎ m 8,002 bytes −13‎ Reverted edits by Zagalioon (talk) to last version by CitationCleanerBot undo
• curprev 12:2212:22, 21 January 2012‎ Zagalioon talk contribs‎ 8,015 bytes +13‎ No edit summary undo

11 September 2011

• curprev 09:0909:09, 11 September 2011‎ CitationCleanerBot talk contribs‎ m 8,002 bytes −44‎ Various citation & identifier cleanup, plus AWB genfixes. Report errors and suggestions at User talk:CitationCleanerBot. undo

22 May 2011

• curprev 17:3717:37, 22 May 2011‎ Neuroghost talk contribs‎ m 8,046 bytes 0‎ fixed tarski name undo

8 September 2010

• curprev 16:1316:13, 8 September 2010‎ Aleph4 talk contribs‎ 8,046 bytes +150‎ →‎Model-theoretic properties: As there are continuum many type (model theory)s over the empty set, true arithmetic also has <math>2^{\aleph_0}</math> countable models. undo

23 July 2010

• curprev 21:1521:15, 23 July 2010‎ LilHelpa talk contribs‎ m 7,896 bytes −43‎ General fixes and Typo fixing, typos fixed: the the → the using AWB undo

27 May 2010

• curprev 23:0423:04, 27 May 2010‎ Luckas-bot talk contribs‎ m 7,939 bytes +21‎ robot Adding: ja:真の算術 undo

11 May 2010

• curprev 18:4718:47, 11 May 2010‎ Citation bot 1 talk contribs‎ m 7,918 bytes +85‎ Citation maintenance. [Pu131]Added: url, issue. Formatted: publisher. You can use this bot yourself! Report bugs here. undo

6 March 2010

• curprev 16:4616:46, 6 March 2010‎ Bgoldnyxnet talk contribs‎ m 7,833 bytes +4‎ italicized theta in the definition of #\theta , because the roman theta looks too much like the numeral 8 undo

13 November 2009

• curprev 14:5514:55, 13 November 2009‎ CBM2 talk contribs‎ 7,829 bytes +37‎ →‎References: refine categories undo

5 October 2009

• curprev 13:5713:57, 5 October 2009‎ CBM2 talk contribs‎ 7,792 bytes +28‎ →‎True theory of second-order arithmetic: c/e undo
• curprev 13:5213:52, 5 October 2009‎ CBM2 talk contribs‎ 7,764 bytes +1‎ →‎Computability properties: wrong word undo
• curprev 13:4713:47, 5 October 2009‎ CBM2 talk contribs‎ 7,763 bytes +12‎ →‎Arithmetic indefinability: c/e undo
• curprev 13:4613:46, 5 October 2009‎ CBM2 talk contribs‎ 7,751 bytes +12‎ →‎Definition: c/e undo
• curprev 00:2800:28, 5 October 2009‎ CBM talk contribs‎ 7,739 bytes −5‎ Undid revision 317943625 by CBM (talk) useless undo
• curprev 00:2700:27, 5 October 2009‎ CBM talk contribs‎ 7,744 bytes +5‎ →‎Definition: nbsp undo

4 October 2009

• curprev 23:1123:11, 4 October 2009‎ CBM talk contribs‎ 7,739 bytes +11‎ →‎Computability properties: fix an error I left undo
• curprev 16:0216:02, 4 October 2009‎ CBM talk contribs‎ 7,728 bytes −2‎ →‎Arithmetic indefinability: rm parens undo
• curprev 16:0016:00, 4 October 2009‎ CBM talk contribs‎ 7,730 bytes +5‎ →‎True theory of second-order arithmetic: more parallelism undo
• curprev 15:5815:58, 4 October 2009‎ CBM talk contribs‎ 7,725 bytes +4‎ →‎Arithmetic indefinability: italics undo
• curprev 15:5115:51, 4 October 2009‎ CBM talk contribs‎ 7,721 bytes +64‎ →‎Definition: better link undo
• curprev 15:4715:47, 4 October 2009‎ CBM talk contribs‎ 7,657 bytes +6‎ varphi undo