Modest theory of short chains. II

DOI10.2307/2273288MaRDI QIDQ3914955zbMATH OpenOpenAlexFDO

Authors S. Shelah, Yuri Gurevich

Publication date 1979

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273288

zbMATH Keywords

decidability and axiomatizability of monadic theories of rationals and realsmodest chainsmonadic theory of order

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Second- and higher-order model theory (03C85) Undecidability and degrees of sets of sentences (03D35) Continuum hypothesis and Martin's axiom (03E50)

Cites work

• A partition calculus in set theory
• Internal cohen extensions
• Modest theory of short chains. I
• Monadic theory of order and topology, I
• The monadic theory of order

Cited in

(15)

• The monadic theory and the next world
• Notes on monadic logic. A: Monadic theory of the real line
• Monadic theory of order and topology, I
• Counting on CTL^*: On the expressive power of monadic path logic
• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
• Composition over the natural number ordering with an extra binary relation
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Simple monadic theories and partition width
• On monadic theories of monadic predicates
• Modest theory of short chains. I
• On the expansion of monadic second-order logic with Cantor-Bendixson rank and order type predicates
• The structure of the models of decidable monadic theories of graphs
• Factorization forests for infinite words and applications to countable scattered linear orderings
• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)

This page was built for publication: Modest theory of short chains. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3914955)