5 results
On countable chains having decidable monadic theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-608
- Print publication:
- June 2012
-
- Article
- Export citation
Weakly maximal decidable structures
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 42 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 18 January 2008, pp. 137-145
- Print publication:
- January 2008
-
- Article
- Export citation
An extension of the Cobham-Semënov Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-211
- Print publication:
- March 2000
-
- Article
- Export citation
Undecidable extensions of Skolem arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-401
- Print publication:
- June 1998
-
- Article
- Export citation
Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1280-1296
- Print publication:
- December 1997
-
- Article
- Export citation