Tarski's undefinability theorem: Revision history

23 March 2024

• curprev 19:2119:21, 23 March 2024‎ Turtlens talk contribs‎ m 16,260 bytes +24‎ →‎Further reading: ISBN undo
• curprev 19:0619:06, 23 March 2024‎ Turtlens talk contribs‎ m 16,236 bytes +42‎ →‎Further reading: ISBN undo

23 December 2023

• curprev 23:3623:36, 23 December 2023‎ 2a0c:5a82:e70b:c800:e879:f841:1125:b58e talk‎ 16,194 bytes +9‎ →‎Statement undo

7 November 2023

• curprev 12:0412:04, 7 November 2023‎ OAbot talk contribs‎ m 16,185 bytes +17‎ Open access bot: doi updated in citation with #oabot. undo

26 October 2023

• curprev 21:1621:16, 26 October 2023‎ C7XWiki talk contribs‎ 16,168 bytes +9‎ →‎Discussion undo
• curprev 21:1621:16, 26 October 2023‎ C7XWiki talk contribs‎ 16,159 bytes +117‎ →‎General form undo
• curprev 21:1421:14, 26 October 2023‎ C7XWiki talk contribs‎ 16,042 bytes +18‎ →‎Statement undo
• curprev 21:1421:14, 26 October 2023‎ C7XWiki talk contribs‎ 16,024 bytes +116‎ Script typeface for N →‎Statement undo

22 August 2023

• curprev 03:5403:54, 22 August 2023‎ Citation bot talk contribs‎ 15,908 bytes +126‎ Alter: template type. Add: class, date, title, eprint, authors 1-2. Removed proxy/dead URL that duplicated identifier. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo
• curprev 03:5403:54, 22 August 2023‎ Headbomb talk contribs‎ 15,782 bytes −22‎ https://arxiv.org/abs/1312.0670 undo

10 August 2023

• curprev 13:5413:54, 10 August 2023‎ AnomieBOT talk contribs‎ m 15,804 bytes +17‎ Dating maintenance tags: {{More footnotes}} undo
• curprev 13:3413:34, 10 August 2023‎ Citation bot talk contribs‎ 15,787 bytes +98‎ Add: s2cid, doi, issue. | Use this bot. Report bugs. | Suggested by Skyerise | #UCB_arXiv undo
• curprev 13:3413:34, 10 August 2023‎ Skyerise talk contribs‎ 15,689 bytes +1,120‎ →‎References: restore formatted primary sources undo
• curprev 13:2713:27, 10 August 2023‎ Skyerise talk contribs‎ 14,569 bytes −543‎ →‎Further reading: format undo
• curprev 13:1813:18, 10 August 2023‎ Skyerise talk contribs‎ 15,112 bytes +19‎ needs more footnotes undo
• curprev 13:1713:17, 10 August 2023‎ Skyerise talk contribs‎ 15,093 bytes +20‎ →‎References: not cited undo

28 July 2023

• curprev 02:5102:51, 28 July 2023‎ C7XWiki talk contribs‎ 15,073 bytes +44‎ →‎History undo
• curprev 02:5002:50, 28 July 2023‎ C7XWiki talk contribs‎ 15,029 bytes +64‎ Citing fact that ZFC can define a truth predicate for PA →‎History undo
• curprev 02:5002:50, 28 July 2023‎ C7XWiki talk contribs‎ 14,965 bytes +129‎ Adding example →‎History undo

6 June 2023

• curprev 03:2203:22, 6 June 2023‎ Srnec talk contribs‎ 14,836 bytes +99‎ citation undo

18 May 2023

• curprev 00:2700:27, 18 May 2023‎ Skyerise talk contribs‎ 14,737 bytes +41‎ →‎See also: anli undo
• curprev 00:2500:25, 18 May 2023‎ Skyerise talk contribs‎ 14,696 bytes +12‎ needs citation undo
• curprev 00:2500:25, 18 May 2023‎ Skyerise talk contribs‎ 14,684 bytes −31‎ →‎See also: covered undo

17 May 2023

• curprev 12:4112:41, 17 May 2023‎ Jan Sitelen talk contribs‎ 14,715 bytes −29‎ Disambiguated "Diagonal argument" link undo Tag: Visual edit

26 April 2023

• curprev 12:0612:06, 26 April 2023‎ 195.50.217.133 talk‎ 14,744 bytes +74‎ →‎See also undo

20 February 2023

• curprev 02:0902:09, 20 February 2023‎ InternetArchiveBot talk contribs‎ 14,670 bytes +126‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Jake01756 - 12294 undo

2 February 2023

• curprev 18:0118:01, 2 February 2023‎ ShelfSkewed talk contribs‎ 14,544 bytes +44‎ →‎Statement: disambiguation needed on diagonal argument undo

16 January 2023

• curprev 00:3700:37, 16 January 2023‎ Mgkrupa talk contribs‎ 14,500 bytes +789‎ Replaced Unicode characters ↔ φ and ¬ that might not render correctly with LaTeX. undo

29 July 2022

• curprev 23:3823:38, 29 July 2022‎ Hairy Dude talk contribs‎ 13,711 bytes −8‎ →‎Statement: MOS:LQ; avoid contractions undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 23:3723:37, 29 July 2022‎ Hairy Dude talk contribs‎ 13,719 bytes +98‎ →‎History: lang tag, translate title undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 23:3423:34, 29 July 2022‎ Hairy Dude talk contribs‎ 13,621 bytes +5‎ →‎History: use English undo Tags: Mobile edit Mobile web edit Advanced mobile edit

3 July 2022

• curprev 09:3509:35, 3 July 2022‎ Felix QW talk contribs‎ 13,616 bytes −4‎ Removing wikilink before disambiguating. undo Tag: Visual edit

24 April 2022

• curprev 18:2918:29, 24 April 2022‎ C7XWiki talk contribs‎ 13,620 bytes +17‎ →‎General form undo

1 March 2022

• curprev 21:2921:29, 1 March 2022‎ Willondon talk contribs‎ 13,603 bytes −54‎ Undid revision 1074727910 by 2601:300:4480:BBD0:599B:9A77:5D5A:AF0C (talk); unsourced undo Tag: Undo
• curprev 21:0721:07, 1 March 2022‎ 2601:300:4480:bbd0:599b:9a77:5d5a:af0c talk‎ 13,657 bytes +54‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

15 January 2022

• curprev 21:1821:18, 15 January 2022‎ Mgkrupa talk contribs‎ m 13,603 bytes +56‎ Added category undo
• curprev 20:1620:16, 15 January 2022‎ Mgkrupa talk contribs‎ 13,547 bytes +28‎ Added {{Mathematical logic}} undo

18 December 2021

• curprev 15:5115:51, 18 December 2021‎ AxelBoldt talk contribs‎ m 13,519 bytes +17‎ →‎Statement undo Tag: Visual edit

16 December 2021

• curprev 21:4921:49, 16 December 2021‎ AxelBoldt talk contribs‎ 13,502 bytes +1,495‎ →‎Statement: including diagonal proof; changed some notation; distinguished between formulas and sentences undo Tags: Visual edit Disambiguation links added

12 December 2021

• curprev 23:1223:12, 12 December 2021‎ AxelBoldt talk contribs‎ m 12,007 bytes −86‎ →‎History undo Tag: Visual edit

22 November 2021

• curprev 21:5921:59, 22 November 2021‎ EncyclopediaOfDavison talk contribs‎ 12,093 bytes 0‎ I am reverting the changes I made because there is a distinction between the two types of iff symbols that I switched. I recommend that someone else take a look at this article. undo Tags: Manual revert Visual edit Mobile edit Mobile web edit
• curprev 21:4221:42, 22 November 2021‎ EncyclopediaOfDavison talk contribs‎ 12,093 bytes 0‎ →‎General form: There were several emoji iff symbols that I replaced with the unicode version of the symbol. undo Tags: Reverted Mobile edit Mobile web edit
• curprev 21:3921:39, 22 November 2021‎ EncyclopediaOfDavison talk contribs‎ 12,093 bytes 0‎ →‎Statement: There was an emoji version of the iff symbol that I replaced with the unicode version. undo Tags: Reverted Mobile edit Mobile web edit

29 June 2021

• curprev 16:5516:55, 29 June 2021‎ TheGoodAndHolyLord talk contribs‎ m 12,093 bytes −4‎ ‎removing initial article in short description undo Tag: AWB

15 June 2021

• curprev 23:1823:18, 15 June 2021‎ 84.245.120.107 talk‎ 12,097 bytes −21‎ →‎General form: sentence => formuka undo
• curprev 23:1323:13, 15 June 2021‎ 84.245.120.107 talk‎ 12,118 bytes −4‎ →‎Statement: sentence => formula undo
• curprev 21:0121:01, 15 June 2021‎ 84.245.120.107 talk‎ 12,122 bytes −43‎ →‎General form: rm nonsense wikilink undo
• curprev 20:2820:28, 15 June 2021‎ 84.245.120.107 talk‎ 12,165 bytes −20‎ →‎Statement: rm pointless wikilink undo

2 August 2020

• curprev 19:1619:16, 2 August 2020‎ Mgkrupa talk contribs‎ 12,185 bytes +83‎ Added section undo

23 July 2020

• curprev 13:5313:53, 23 July 2020‎ Cecil Thomason talk contribs‎ m 12,102 bytes +235‎ I have changed the date of publication of Tarski's theorem from 1936 (when it appeared in the German translation of his truth monograph) to 1933 (when It appeared in the Polish original). I have added the 1933 publication to the references. I also made some minor sytlistic changes to the description of the footnote to the theorem. undo