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

modest chainsdecidability and axiomatizability of monadic theories of rationals and realsmonadic theory of order

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Quantifier elimination, model completeness, and related topics (03C10) Second- and higher-order model theory (03C85) 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

(14)

• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• The structure of the models of decidable monadic theories of graphs
• The monadic theory and the next world
• Counting on CTL^*: On the expressive power of monadic path logic
• Factorization forests for infinite words and applications to countable scattered linear orderings
• 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
• Simple monadic theories and partition width
• On monadic theories of monadic predicates
• Notes on monadic logic. A: Monadic theory of the real line
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)
• Monadic theory of order and topology, I
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Modest theory of short chains. I

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)