Pages that link to "Item:Q1063588"

The following pages link to The monadic theory and the ''next world'' (Q1063588):

Displayed 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)
• Monadic logic and Löwenheim numbers (Q1058510) ‎ (← links)
• Notes on monadic logic. A: Monadic theory of the real line (Q1115431) ‎ (← 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)