Extension by new constant and function names: Revision history

3 January 2023

• curprev 23:0923:09, 3 January 2023 81.110.184.237 talk 2,613 bytes −7 No edit summary undo

15 January 2022

• curprev 20:3220:32, 15 January 2022 Mgkrupa talk contribs 2,620 bytes +25 Added {{Mathematical logic}} undo

11 December 2021

• curprev 14:0314:03, 11 December 2021 Citation bot talk contribs 2,595 bytes +2 Alter: pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 96/207 undo

22 October 2021

• curprev 23:5123:51, 22 October 2021 178.115.61.15 talk 2,593 bytes −1 Standard convention for x and y undo
• curprev 23:5023:50, 22 October 2021 178.115.61.15 talk 2,594 bytes +73 Add links undo

5 February 2020

• curprev 22:3622:36, 5 February 2020 AnomieBOT talk contribs m 2,521 bytes +19 Dating maintenance tags: {{Citation needed}} undo
• curprev 20:3620:36, 5 February 2020 Crisperdue talk contribs 2,502 bytes +68 Take more care with citation(s). undo
• curprev 06:0106:01, 5 February 2020 Crisperdue talk contribs 2,434 bytes +298 Clarify the use of Shoenfield's theorem in reaching the results stated here. undo
• curprev 05:5505:55, 5 February 2020 Crisperdue talk contribs 2,136 bytes −33 Cite specific pages in Shoenfield. Mendelson does not appear to have a directly relevant theorem statement. undo
• curprev 05:4405:44, 5 February 2020 Crisperdue talk contribs m 2,169 bytes −1 formatting undo
• curprev 05:4305:43, 5 February 2020 Crisperdue talk contribs 2,170 bytes +275 Make the exposition flow better match the new title. More to follow. undo
• curprev 05:1905:19, 5 February 2020 Crisperdue talk contribs m 1,895 bytes 0 Crisperdue moved page Conservativity theorem to Extension by new constant and function names: The new name is descriptive, where the old one shows up neither in texts or web search undo

13 September 2018

• curprev 11:0511:05, 13 September 2018 Bafain talk contribs m 1,895 bytes +2 grammar undo

1 December 2017

• curprev 13:1613:16, 1 December 2017 80.2.151.245 talk 1,893 bytes −52 removed stale merge tag undo

15 July 2017

• curprev 14:1014:10, 15 July 2017 Deacon Vorbis talk contribs m 1,945 bytes −12 →top: LaTeX spacing clean up, replaced: \,\!</math> → </math> (3) using AWB undo

29 January 2017

• curprev 13:5313:53, 29 January 2017 31.0.42.61 talk 1,957 bytes +53 No edit summary undo

6 November 2014

• curprev 19:4019:40, 6 November 2014 178.196.218.96 talk 1,904 bytes −1 Undid revision 631678546 by 178.196.218.96 (talk) undo
• curprev 19:4019:40, 6 November 2014 178.196.218.96 talk 1,905 bytes −1 Undid revision 631787608 by 178.196.218.96 (talk) undo

30 October 2014

• curprev 19:0119:01, 30 October 2014 178.196.218.96 talk 1,906 bytes +1 thinking again, we don't need uniqueness, sorry for that undo

29 October 2014

• curprev 23:1523:15, 29 October 2014 178.196.218.96 talk 1,905 bytes +1 We need that phi is provably functional in the original theory, because we can prove this in the new theory - the logic axioms alone show that function symbols are indeed functional undo

27 January 2012

• curprev 07:3307:33, 27 January 2012 Mini-floh talk contribs m 1,904 bytes +21 redlink "functional symbol" corrected undo

18 October 2011

• curprev 22:3622:36, 18 October 2011 RDBury talk contribs 1,883 bytes +21 More specific cat. undo

25 February 2010

• curprev 13:0613:06, 25 February 2010 CBM talk contribs 1,862 bytes +19 Tagging with {{mathlogic-stub}} using user scripts undo

8 November 2008

• curprev 13:2713:27, 8 November 2008 Lightbot talk contribs 1,843 bytes −8 Date audit per mosnum/overlink/Other undo

11 August 2008

• curprev 20:5520:55, 11 August 2008 WhatamIdoing talk contribs m 1,851 bytes −4 Minor clean up, stray space undo

21 July 2007

• curprev 14:2714:27, 21 July 2007 CBM talk contribs 1,855 bytes −4 →Bibliography: switch stub type undo

19 June 2006

• curprev 10:1110:11, 19 June 2006 JRSpriggs talk contribs 1,859 bytes +23 →Bibliography: add to category "Proof theory" undo

17 June 2006

• curprev 15:4715:47, 17 June 2006 Mets501 talk contribs m 1,836 bytes +1 clean up using AWB undo

6 November 2005

• curprev 06:0106:01, 6 November 2005 BeteNoir talk contribs m 1,835 bytes +13 Refined categorization undo

20 September 2005

• curprev 05:2105:21, 20 September 2005 Mairi talk contribs 1,822 bytes +5 mathlogic-stub undo

6 September 2005

• curprev 16:3816:38, 6 September 2005 Banes talk contribs 1,817 bytes +10 change references to bibliography, hope thats ok, added a few year links undo

25 June 2005

• curprev 17:0117:01, 25 June 2005 Oleg Alexandrov talk contribs 1,807 bytes +4 I think in this article one should link to the proper definitions (in logic) of "theorem" and "closed formula". Otherwise it is not clear what is going on. undo
• curprev 11:5711:57, 25 June 2005 Meloman talk contribs m 1,803 bytes −2 No edit summary undo
• curprev 03:1503:15, 25 June 2005 Oleg Alexandrov talk contribs m 1,805 bytes +19 I think language here means formal language undo

24 June 2005

• curprev 20:5920:59, 24 June 2005 Charles Matthews talk contribs m 1,786 bytes +21 No edit summary undo
• curprev 20:5820:58, 24 June 2005 Charles Matthews talk contribs m 1,765 bytes +33 fmt undo

23 June 2005

• curprev 20:3020:30, 23 June 2005 Meloman talk contribs m 1,732 bytes +1 No edit summary undo
• curprev 20:3020:30, 23 June 2005 Meloman talk contribs 1,731 bytes +195 No edit summary undo
• curprev 19:5019:50, 23 June 2005 Meloman talk contribs 1,536 bytes +834 No edit summary undo
• curprev 19:1319:13, 23 June 2005 Meloman talk contribs 702 bytes +4 No edit summary undo
• curprev 19:0019:00, 23 June 2005 Meloman talk contribs 698 bytes +43 No edit summary undo
• curprev 18:5918:59, 23 June 2005 Meloman talk contribs 655 bytes +49 No edit summary undo
• curprev 18:5618:56, 23 June 2005 Meloman talk contribs 606 bytes +606 No edit summary