First-order theories of bounded trees

DOI10.1007/s00153-021-00789-0OpenAlexW3184660893MaRDI QIDQ2118179

Ruaan Kellerman

Publication date: 22 March 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00789-0

zbMATH Keywords

axiomatisationelementary substructureend-extensionbounded treeordinal tree

Mathematics Subject Classification ID

Partial orders, general (06A06) Model theory of ordered structures; o-minimality (03C64) Basic properties of first-order languages and structures (03C07)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Indistinguishability, choices, and logics of agency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
• A first-order axiomatization of the theory of finite trees
• Classes and theories of trees associated with a class of linear orders
• On $ℵ_0$-categoricity and the theory of trees
• First-order aspects of tree paths
• APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES

This page was built for publication: First-order theories of bounded trees