Interpreting second-order logic in the monadic theory of order
From MaRDI portal
Publication:3347854
DOI10.2307/2273475zbMath0559.03008OpenAlexW2155343741MaRDI QIDQ3347854
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
Related Items
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
