Pages that link to "Item:Q912091"

The following pages link to Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091):

Displaying 8 items.

• Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← 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)
• The monadic theory and the ''next world'' (Q1063588) (← links)
• Second-order quantifiers and the complexity of theories (Q1078169) (← links)
• Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142) (← links)
• Random graphs in the monadic theory of order (Q1306794) (← links)