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
Expressing cardinality quantifiers in monadic second-order logic over chains
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-619
- Print publication:
- June 2011
-
- Article
- Export citation
The full binary tree cannot be interpreted in a chain
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1489-1498
- Print publication:
- December 2010
-
- Article
- Export citation
Selection in the monadic theory of a countable ordinal
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 3 / September 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-816
- Print publication:
- September 2008
-
- Article
- Export citation
Definability and undefinability with real order at the background
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 946-958
- Print publication:
- June 2000
-
- Article
- Export citation