4 results
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 21 July 2020, pp. 671-672
- Print publication:
- June 2020
-
- Article
- Export citation
Structure with fast elimination of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-328
- Print publication:
- March 2006
-
- Article
- Export citation
An isomorphism between monoids of external embeddings: About definability in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-620
- Print publication:
- June 2002
-
- Article
- Export citation
A model-theoretic proof for P ≠ NP over all infinite abelian group
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-238
- Print publication:
- March 2002
-
- Article
- Export citation