The following pages link to Modest theory of short chains. II (Q3914955):
Displaying 15 items.
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← 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 monadic theory and the ''next world'' (Q1063588) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- Monadic theory of order and topology, I (Q1238809) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations (Q2947168) (← links)
- Composition Over the Natural Number Ordering with an Extra Binary Relation (Q2947182) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- Simple monadic theories and partition width (Q3170562) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- Modest theory of short chains. I (Q3914954) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)