Pages that link to "Item:Q3342531"
From MaRDI portal
The following pages link to The monadic theory of <i>ω</i><sub>2</sub> (Q3342531):
Displayed 16 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- On decidability properties of local sentences (Q860837) (← 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)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- The monadic theory of \((\omega{}_ 2,<)\) may be complicated (Q1190619) (← links)
- On countable chains having decidable monadic theory (Q2892678) (← links)
- Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations (Q2947168) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- The full binary tree cannot be interpreted in a chain (Q3066806) (← links)
- Some problems in automata theory which depend on the models of set theory (Q3117545) (← links)
- Finite state automata and monadic definability of singular cardinals (Q3503746) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)