The following pages link to Tree-definable linear orders (Q1300332):
Displaying 5 items.
- Classes and theories of trees associated with a class of linear orders (Q3081249) (← links)
- Linear Orders in the Pushdown Hierarchy (Q3587429) (← links)
- Definability in the Homomorphic Quasiorder of Finite Labeled Forests (Q5425345) (← links)
- Trees, linear orders and Gâteaux smooth norms (Q5436512) (← links)
- New Computational Paradigms (Q5717041) (← links)