Tennenbaum's theorem: Revision history

1 August 2025

• curprev 21:0921:09, 1 August 2025 2kbfloppadisk talk contribs 7,084 bytes +69 Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

24 March 2025

• curprev 03:5003:50, 24 March 2025 Citation bot talk contribs 7,015 bytes +3 Misc citation tidying. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Theorems in the foundations of mathematics | #UCB_Category 12/54 undo

25 February 2025

• curprev 18:2318:23, 25 February 2025 Padgriffin talk contribs m 7,012 bytes +1 Reverted edits by 46.138.62.62 (talk) (HG) (3.4.13) undo Tags: Huggle Rollback
• curprev 18:2318:23, 25 February 2025 46.138.62.62 talk 7,011 bytes −1 No edit summary undo Tag: Reverted

3 February 2024

• curprev 10:3010:30, 3 February 2024 C7XWiki talk contribs 7,012 bytes +410 More info on degrees that are realized by models of PA →Proof sketch undo

28 September 2022

• curprev 22:5922:59, 28 September 2022 2a02:1812:110c:dc00:4c63:ee8e:1e19:c75d talk 6,602 bytes +4 No edit summary undo

17 February 2022

• curprev 21:3621:36, 17 February 2022 158.135.188.31 talk 6,598 bytes +70 →Proof sketch: more notation fixes undo
• curprev 21:3421:34, 17 February 2022 158.135.188.31 talk 6,528 bytes +50 →Recursive structures for PA: changed to the standard notation for isomorphism and the set of natural numbers undo

25 October 2021

• curprev 13:4713:47, 25 October 2021 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk 6,478 bytes +73 No edit summary undo

24 October 2021

• curprev 11:1411:14, 24 October 2021 Marc Schroeder talk contribs m 6,405 bytes +280 →References undo

29 November 2020

• curprev 08:3508:35, 29 November 2020 Jordan Mitchell Barrett talk contribs m 6,125 bytes +180 Add hat note to comp. lin. ord undo Tag: Visual edit

5 May 2019

• curprev 16:4916:49, 5 May 2019 Theblackdachshund talk contribs m 5,945 bytes −5 remove an unnecessary word undo Tag: Visual edit

24 March 2019

• curprev 08:5408:54, 24 March 2019 DroidBishop talk contribs 5,950 bytes +4 →References: added wikilink undo

10 June 2018

• curprev 08:4308:43, 10 June 2018 Tea2min talk contribs 5,946 bytes 0 →Proof Sketch: Sentence case in section headers undo

5 June 2018

• curprev 18:5118:51, 5 June 2018 TheKing44 talk contribs 5,946 bytes +23 →Proof Sketch: fix link and clarify a little undo Tag: Visual edit
• curprev 16:4816:48, 5 June 2018 CBM talk contribs 5,923 bytes −5 →Proof Sketch: fix undo
• curprev 16:1116:11, 5 June 2018 CBM talk contribs 5,928 bytes +18 →Proof Sketch: fix undo
• curprev 14:1114:11, 5 June 2018 CBM talk contribs 5,910 bytes 0 →Statement of the theorem: sectioning undo
• curprev 13:4213:42, 5 June 2018 CBM talk contribs 5,910 bytes +1,140 →Proof Sketch: expand undo
• curprev 13:2913:29, 5 June 2018 CBM talk contribs 4,770 bytes −2 →Proof Sketch: c/e undo
• curprev 13:2913:29, 5 June 2018 CBM talk contribs 4,772 bytes +211 →Statement of the theorem: c/e undo
• curprev 13:2013:20, 5 June 2018 CBM talk contribs 4,561 bytes +9 →Recursive structures for PA: c/e undo
• curprev 13:1913:19, 5 June 2018 CBM talk contribs 4,552 bytes +879 →Proof Sketch: expand undo
• curprev 12:5012:50, 5 June 2018 CBM talk contribs 3,673 bytes −2,463 heavy copyedit undo
• curprev 12:4512:45, 5 June 2018 TheKing44 talk contribs 6,136 bytes −1,036 →Statement of the theorem: Went into more detail as to why C is recursive. undo Tag: Visual edit

25 January 2018

• curprev 03:2503:25, 25 January 2018 Myasuda talk contribs m 7,172 bytes 0 →References: sp undo

16 July 2017

• curprev 00:3800:38, 16 July 2017 Deacon Vorbis talk contribs m 7,172 bytes −3 →Recursive structures for PA: LaTeX spacing clean up, replaced: \, </math> → </math> using AWB undo
• curprev 00:3800:38, 16 July 2017 Deacon Vorbis talk contribs 7,175 bytes +3 Undid revision 790777663 by Deacon Vorbis (talk) undo
• curprev 00:3700:37, 16 July 2017 Deacon Vorbis talk contribs m 7,172 bytes −3 →Recursive structures for PA: LaTeX spacing clean up, replaced: \, </math> → </math> using AWB undo

20 June 2017

• curprev 01:1401:14, 20 June 2017 CBM talk contribs m 7,175 bytes +8 Manually reviewed edit to replace magic words per local rfc undo

10 January 2017

• curprev 23:5623:56, 10 January 2017 Jakito talk contribs 7,167 bytes +130 →References undo

15 January 2016

• curprev 09:0809:08, 15 January 2016 Aleph4 talk contribs m 7,037 bytes −1 →References: linefeed undo

16 November 2015

• curprev 11:0611:06, 16 November 2015 2001:41b8:83c:ff03:225:d3ff:feef:b17 talk 7,038 bytes 0 typo (the set of e such that bla is defined by a formula parameterized by n) undo

10 February 2015

• curprev 01:5401:54, 10 February 2015 A3nm talk contribs m 7,038 bytes −1 →Statement of the theorem: adjust section spacing undo

23 October 2014

• curprev 22:3622:36, 23 October 2014 AnomieBOT talk contribs m 7,039 bytes +18 Dating maintenance tags: {{Clarify}} undo
• curprev 22:1522:15, 23 October 2014 Jochen Burghardt talk contribs 7,021 bytes +292 →Proof Outline: clarify undo
• curprev 22:0422:04, 23 October 2014 Jochen Burghardt talk contribs 6,729 bytes +179 →Proof Outline: guessed reason for inseparability undo
• curprev 21:5521:55, 23 October 2014 Jochen Burghardt talk contribs 6,550 bytes +131 →Proof Outline: italicized var.s; "n.th elem." --> "n.th smallest elem." undo
• curprev 21:3921:39, 23 October 2014 Jochen Burghardt talk contribs 6,419 bytes +29 →Proof Outline: wikilink undo
• curprev 21:2321:23, 23 October 2014 Jochen Burghardt talk contribs 6,390 bytes +21 →Proof Outline: wikilink undo
• curprev 21:1921:19, 23 October 2014 Jochen Burghardt talk contribs 6,369 bytes +51 →Proof Outline: guessed:1st-order ind. schema is meant, wikilinked to it undo
• curprev 21:0921:09, 23 October 2014 Jochen Burghardt talk contribs 6,318 bytes +95 →References: give also booktitle undo
• curprev 16:5916:59, 23 October 2014 AnomieBOT talk contribs m 6,223 bytes +36 Dating maintenance tags: {{Clarify}} undo
• curprev 16:3816:38, 23 October 2014 Jochen Burghardt talk contribs 6,187 bytes +145 →Proof Strategy: inserted commas to increase readability; guessed some wikilinks; asked some ((clarify))s undo
• curprev 08:1108:11, 23 October 2014 AnomieBOT talk contribs m 6,042 bytes +18 Dating maintenance tags: {{Clarify}} undo
• curprev 07:5107:51, 23 October 2014 Jochen Burghardt talk contribs 6,024 bytes +216 →top: clarify undo
• curprev 07:3007:30, 23 October 2014 Jochen Burghardt talk contribs 5,808 bytes +32 →Recursive structures for PA: highlighted def.d notion; guessed wikilink for 'recursive function' (shouldn't we require totality, too?) undo
• curprev 07:2507:25, 23 October 2014 Jochen Burghardt talk contribs 5,776 bytes −21 →top: remove confusing wikilink: 'recursive model/structure' isn't def.d in target article, but in sect.1 below undo

20 September 2014

• curprev 02:0602:06, 20 September 2014 109.145.57.108 talk 5,797 bytes +1 →Proof Strategy undo

30 January 2014

• curprev 16:3916:39, 30 January 2014 Monkbot talk contribs m 5,796 bytes −8 →References: Fix CS1 deprecated date parameter errors undo