Pages that link to "Item:Q3347854"
From MaRDI portal
The following pages link to Interpreting second-order logic in the monadic theory of order (Q3347854):
Displayed 11 items.
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091) (← links)
- More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (Q916645) (← links)
- Monadic logic and Löwenheim numbers (Q1058510) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- On countable chains having decidable monadic theory (Q2892678) (← links)
- Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations (Q2947168) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)