Timeline for Rational exponential expressions
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 11, 2010 at 20:51 | answer | added | Bill Dubuque | timeline score: 12 | |
| Jan 28, 2010 at 11:05 | history | edited | Charles Stewart |
tags
|
|
| Jan 28, 2010 at 11:03 | comment | added | Charles Stewart | @Joel:You've made the case for "computer-algebra" to me, which is how Buchberger, at least, describes this work. | |
| Jan 27, 2010 at 17:16 | answer | added | David E Speyer | timeline score: 4 | |
| Jan 27, 2010 at 15:02 | comment | added | Joel David Hamkins | It seems logic related, since (i) you are considering terms in a formal language, and (ii) you are asking a decidability question. Also, the paper to which you link seems to engage with several logic issues, including the MRDP theorem. | |
| Jan 27, 2010 at 14:52 | answer | added | Joel David Hamkins | timeline score: 1 | |
| Jan 27, 2010 at 10:08 | comment | added | Charles Stewart | Joel: logic tag? My interest in the problem does stem from ordinal analysis, but the link is too obscure to justify it on those grounds. Why else might it count as logic? | |
| Jan 27, 2010 at 10:00 | history | edited | Charles Stewart | CC BY-SA 2.5 |
clarify following comments
|
| Jan 26, 2010 at 22:02 | comment | added | Mariano Suárez-Álvarez | @Charles: Heh. The 'poly' in polynomial does not refer to the multiplicity of variables but of terms... You'd only improve your question by replacing 'monomial' by a more usual description. Also, please do not make corrections and clarifications to the question in the comments but in the actual question: you can edit it! | |
| Jan 26, 2010 at 20:04 | comment | added | Douglas Zare | It looks like it would make sense either with unary exponentiation exp(x) and with binary exponentiation y^x. Which do you mean? | |
| Jan 26, 2010 at 19:13 | comment | added | Joel David Hamkins | Could you clarify the precise sense of "monomial" that you mean here? And you only have one variable for the decision problem? And you only require dominance for integer n in that question? (And you may want to add the logic tag.) | |
| Jan 26, 2010 at 9:57 | history | asked | Charles Stewart | CC BY-SA 2.5 |