Pages that link to "Item:Q3663256"
From MaRDI portal
The following pages link to Monadic theory of order and topology in ZFC (Q3663256):
Displayed 17 items.
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- 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)
- The monadic theory and the ''next world'' (Q1063588) (← links)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- Sacks forcing, Laver forcing, and Martin's axiom (Q1190614) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations (Q2947168) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
- Definability and undefinability with real order at the background (Q4508271) (← links)
- CONTINUOUS RAMSEY THEORY ON POLISH SPACES AND COVERING THE PLANE BY FUNCTIONS (Q4658679) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)