Pages that link to "Item:Q5608006"
From MaRDI portal
The following pages link to Decision methods in the theory of ordinals (Q5608006):
Displaying 4 items.
- Tree-automatic scattered linear orders (Q264574) (← 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)
- Logic over words on denumerable ordinals (Q1604197) (← links)
