Pages that link to "Item:Q1825187"
From MaRDI portal
The following pages link to Some model theory for generalized trees (Q1825187):
Displaying 9 items.
- Pretrees and arborescent convexities (Q291158) (← links)
- Metalinear recursive schemas on marked trees (Q797277) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- Completeness in generalized ultrametric spaces (Q2263120) (← links)
- A variety theorem for trees and theories (Q2770673) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- On model-theoretic tree properties (Q2951900) (← links)
- (Q4867076) (← links)
- (Q5752555) (← links)