Pages that link to "Item:Q3476808"
From MaRDI portal
The following pages link to On the strength of the interpretation method (Q3476808):
Displaying 7 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)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- The full binary tree cannot be interpreted in a chain (Q3066806) (← links)
- Towards a characterization of order-invariant queries over tame graphs (Q3616348) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
