Pages that link to "Item:Q4391426"
From MaRDI portal
The following pages link to Uniformization and skolem functions in the class of trees (Q4391426):
Displaying 13 items.
- Regular languages of thin trees (Q290908) (← links)
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- Selection over classes of ordinals expanded by monadic predicates (Q636340) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- A decreasing rearrangement for functions on homogeneous trees (Q1765605) (← links)
- On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
- (Q2958515) (← links)
- Uniforming n-place functions on ds(alpha) (Q3001428) (← links)
- Uniformization, choice functions and well orders in the class of trees (Q3128469) (← links)
- (Q5089242) (← links)
- (Q5092424) (← links)
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey (Q5452198) (← links)
- Trees and Keisler's problem (Q5944051) (← links)