Tarski's exponential function problem: Revision history

14 August 2024

• curprev 00:3700:37, 14 August 2024 David Eppstein talk contribs 3,708 bytes +13 It's confusing to use html-formatted bold R in inline text and blackboard-bold R for the same thing in displayed formulas; format all as math undo
• curprev 00:2900:29, 14 August 2024 David Eppstein talk contribs 3,695 bytes 0 1996 undo

9 August 2024

• curprev 14:4214:42, 9 August 2024 GünniX talk contribs m 3,695 bytes +12 Reflist undo

7 August 2024

• curprev 23:3223:32, 7 August 2024 Citation bot talk contribs 3,683 bytes 0 Alter: author-link, author-link2, editor-link, mr. Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by GoingBatty | #UCB_toolbar undo
• curprev 18:5318:53, 7 August 2024 Altarbasenstickfreie talk contribs m 3,683 bytes 0 Reference corrected undo
• curprev 18:5218:52, 7 August 2024 Altarbasenstickfreie talk contribs 3,683 bytes −1 Error in reference corrected undo Tag: Visual edit: Switched
• curprev 18:4918:49, 7 August 2024 Altarbasenstickfreie talk contribs 3,684 bytes −4 typo in reference corrected undo Tag: Visual edit
• curprev 18:4718:47, 7 August 2024 Altarbasenstickfreie talk contribs 3,688 bytes +126 References updated. undo Tag: Visual edit
• curprev 18:3618:36, 7 August 2024 Altarbasenstickfreie talk contribs 3,562 bytes −70 →The problem: References updated. undo Tag: Visual edit
• curprev 18:2718:27, 7 August 2024 Altarbasenstickfreie talk contribs 3,632 bytes −516 Workaround removed, as the only result and article described there is not trying to contribute to Tarski's exponential function problem. See my comment in the "Talk" page under "Workaround". undo Tag: section blanking

14 July 2021

• curprev 07:1307:13, 14 July 2021 Citation bot talk contribs 4,148 bytes +43 Add: isbn, pages, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by RFZYNSPY | Category:Unsolved problems in mathematics‎ | #UCB_Category 15/76 undo

25 February 2021

• curprev 14:2614:26, 25 February 2021 JayBeeEll talk contribs m 4,105 bytes +4 →Workaround undo
• curprev 14:2614:26, 25 February 2021 JayBeeEll talk contribs m 4,101 bytes +37 →Workaround undo

19 October 2019

• curprev 06:0006:00, 19 October 2019 Tea2min talk contribs 4,064 bytes −7 →top: Move link out of bolded repetition of article title. undo

18 October 2019

• curprev 18:2618:26, 18 October 2019 David Eppstein talk contribs 4,071 bytes −77 →See also: moved into main text undo
• curprev 18:2618:26, 18 October 2019 David Eppstein talk contribs 4,148 bytes +61 Decidability of first-order theories of the real numbers undo

5 May 2019

• curprev 14:0314:03, 5 May 2019 2003:e7:b727:8521:31eb:354e:9edd:1624 talk 4,087 bytes −19 →The problem: Th(R) is the set of sentences that hold true in the model R. So we have: φ is an element of Th(R) iff R is a model for φ. undo

22 July 2017

• curprev 21:5321:53, 22 July 2017 Nahabedere talk contribs 4,106 bytes +77 No edit summary undo

16 July 2017

• curprev 18:1918:19, 16 July 2017 Fixmaster talk contribs 4,029 bytes −1 →Workaround undo

20 November 2015

• curprev 04:5604:56, 20 November 2015 Markhurd talk contribs m 4,030 bytes +56 →References: Add title to ref undo

8 August 2014

• curprev 09:1909:19, 8 August 2014 Nahabedere talk contribs 3,974 bytes +2 →Workaround undo
• curprev 09:1809:18, 8 August 2014 Nahabedere talk contribs 3,972 bytes +751 workaround undo

10 January 2012

• curprev 20:4020:40, 10 January 2012 CBM talk contribs 3,221 bytes −35 c/e undo
• curprev 17:4017:40, 10 January 2012 Helpful Pixie Bot talk contribs m 3,256 bytes +18 Dated {{Clarify}}. (Build p621) undo
• curprev 17:1917:19, 10 January 2012 LokiClock talk contribs 3,238 bytes +68 No edit summary undo

21 February 2010

• curprev 18:1318:13, 21 February 2010 CBM talk contribs 3,170 bytes −20 Removing stub tag(s) undo

24 January 2010

• curprev 03:5503:55, 24 January 2010 CRGreathouse talk contribs m 3,190 bytes −11 links undo

1 July 2009

• curprev 18:3518:35, 1 July 2009 Philip Trueman talk contribs m 3,201 bytes −799 Reverted edits by 41.177.62.253 (talk) to last version by Chenxlee undo
• curprev 17:5817:58, 1 July 2009 41.177.62.253 talk 4,000 bytes +799 →The problem undo

4 May 2009

• curprev 10:4710:47, 4 May 2009 Chenxlee talk contribs 3,201 bytes +1,019 →The problem: Real Schanuel is stronger than decidability, only need weak Schanuel undo

1 May 2009

• curprev 11:0611:06, 1 May 2009 Chenxlee talk contribs m 2,182 bytes +47 →References: Added to unsolved problems category undo
• curprev 10:2510:25, 1 May 2009 Chenxlee talk contribs 2,135 bytes +1,250 Explained the problem a little more and M&W's work undo

30 June 2008

• curprev 08:1108:11, 30 June 2008 Jafet talk contribs m 885 bytes +12 More linkify undo
• curprev 08:1108:11, 30 June 2008 Jafet talk contribs m 873 bytes +75 Linkify undo

4 March 2008

• curprev 15:0215:02, 4 March 2008 Chenxlee talk contribs m 798 bytes +20 Added stub template undo

3 March 2008

• curprev 17:3317:33, 3 March 2008 R.e.b. talk contribs 778 bytes +778 ←Created page with 'In mathematics, '''Tarski's exponential function problem''' asks whether the usual theory of the real numbers together with the exponential function is decidable. T...'