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 2 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)