Modest theory of short chains. II
DOI10.2307/2273288zbMATH Open0464.03014OpenAlexW4250121434MaRDI QIDQ3914955FDOQ3914955
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
modest chainsdecidability and axiomatizability of monadic theories of rationals and realsmonadic theory of order
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
Cited In (15)
- 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
- Decidable expansions of labelled linear orderings
- 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)
