The following pages link to Model complete theories of trees (Q2277448):
Displaying 14 items.
- Representing models by finite trees (Q447662) (← links)
- Metalinear recursive schemas on marked trees (Q797277) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- Trees and finite satisfiability: proof of a conjecture of Burgess (Q2266003) (← links)
- Models of adding relations to an organization structure of a complete \(K\)-ary tree (Q2503222) (← links)
- A variety theorem for trees and theories (Q2770673) (← links)
- On model-theoretic tree properties (Q2951900) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- (Q3775533) (← links)
- (Q4517360) (← links)
- (Q4934251) (← links)
- (Q5186728) (← links)
- (Q5752555) (← links)