Interpreting second-order logic in the monadic theory of order

DOI10.2307/2273475zbMath0559.03008OpenAlexW2155343741MaRDI QIDQ3347854

Saharon Shelah, Yuri Gurevich

Publication date: 1983

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

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

zbMATH Keywords

second-order logicregular cardinalmonadic language of order

Mathematics Subject Classification ID

Related Items (11)

On countable chains having decidable monadic theory ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ The expressive power of second-order propositional modal logic ⋮ Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations ⋮ 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\) ⋮ Peano arithmetic may not be interpretable in the monadic theory of linear orders ⋮ Decidable Expansions of Labelled Linear Orderings ⋮ Monadic logic and Löwenheim numbers ⋮ The structure of the models of decidable monadic theories of graphs

Cites Work

• Monadic theory of order and topology. II
• The monadic theory of order

This page was built for publication: Interpreting second-order logic in the monadic theory of order