APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES

DOI10.1017/jsl.2021.40OpenAlexW3170375357MaRDI QIDQ5015724

Ruaan Kellerman, Valentin F. Goranko

Publication date: 9 December 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2021.40

zbMATH Keywords

treefirst-order theoryaxiomatisationcoloured linear order

Mathematics Subject Classification ID

Trees (05C05) Total orders (06A05) Models of other mathematical theories (03C65)

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ First-order theories of bounded trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classification of finite coloured linear orderings
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
• A first-order axiomatization of the theory of finite trees
• Ehrenfeucht-Fraïssé games on ordinals
• Classes and theories of trees associated with a class of linear orders
• The first order properties of products of algebraic systems
• Structure of partially ordered sets with transitive automorphism groups
• The decision problem for branching time logic
• On $ℵ_0$-categoricity and the theory of trees
• The Reconstruction of Trees from Their Automorphism Groups
• First-Order Theories of Orthogonality Structures