Pages that link to "Item:Q1063588"
From MaRDI portal
The following pages link to The monadic theory and the ''next world'' (Q1063588):
Displaying 8 items.
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← 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)
- Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations (Q2947168) (← links)
- On the strength of the interpretation method (Q3476808) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
