Pages that link to "Item:Q5608006"
From MaRDI portal
The following pages link to Decision methods in the theory of ordinals (Q5608006):
Displaying 19 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- Determinization of ordinal automata (Q383176) (← links)
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- Constructivizations of Boolean algebras (Q1171567) (← links)
- Theories of automata on \(\omega\)-tapes: a simplified approach (Q1211504) (← links)
- Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages (Q1240574) (← links)
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes (Q1249573) (← links)
- Finite automata and ordinals (Q1351785) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Löwenheim numbers for skeletons of varieties (Q1803014) (← links)
- Tree acceptors and some of their applications (Q2544414) (← links)
- Finite state automata and monadic definability of singular cardinals (Q3503746) (← links)
- Decidability of second-order theories and automata on infinite trees (Q4071739) (← links)
- Space-bounded OTMs and REG ∞ (Q5037216) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS (Q5462675) (← links)
