Translator Disclaimer
June 2012 On countable chains having decidable monadic theory
Alexis Bès, Alexander Rabinovich
J. Symbolic Logic 77(2): 593-608 (June 2012). DOI: 10.2178/jsl/1333566639

Abstract

Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.

Citation

Download Citation

Alexis Bès. Alexander Rabinovich. "On countable chains having decidable monadic theory." J. Symbolic Logic 77 (2) 593 - 608, June 2012. https://doi.org/10.2178/jsl/1333566639

Information

Published: June 2012
First available in Project Euclid: 4 April 2012

zbMATH: 1248.03017
MathSciNet: MR2963023
Digital Object Identifier: 10.2178/jsl/1333566639

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 2 • June 2012
Back to Top