Modest theory of short chains. II
From MaRDI portal
Publication:3914955
DOI10.2307/2273288zbMath0464.03014OpenAlexW4250121434MaRDI QIDQ3914955
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
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Continuum hypothesis and Martin's axiom (03E50) Second- and higher-order model theory (03C85) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Simple monadic theories and partition width, Factorization forests for infinite words and applications to countable scattered linear orderings, Notes on monadic logic. A: Monadic theory of the real line, 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, Counting on CTL\(^*\): On the expressive power of monadic path logic, 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\), Expressing cardinality quantifiers in monadic second-order logic over chains, On Monadic Theories of Monadic Predicates, Monadic theory of order and topology, I, Decidable Expansions of Labelled Linear Orderings, Modest theory of short chains. I, The monadic theory and the next world, The structure of the models of decidable monadic theories of graphs
Cites Work