First-order theories of bounded trees
type: Item
instance of: scholarly article
title: First-order theories of bounded trees
author: Ruaan Kellerman
published in: Archive for Mathematical Logic
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 06A06
zbMATH DE Number: 7495462
zbMATH Keywords: bounded tree
zbMATH Keywords: ordinal tree
zbMATH Keywords: elementary substructure
zbMATH Keywords: end-extension
zbMATH Keywords: axiomatisation
MaRDI profile type: Publication
full work available at URL: s00153-021-00789-0
OpenAlex ID: W3184660893
cites work: A first-order axiomatization of the theory of finite trees
cites work: Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
cites work: Q5687548
cites work: APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
cites work: Classes and theories of trees associated with a class of linear orders
cites work: Q3159146
cites work: First-order aspects of tree paths
cites work: Q3949052
cites work: Q4526525
cites work: On $ℵ_0$-categoricity and the theory of trees
cites work: The monadic theory of order
DOI: 10.1007/S00153-021-00789-0
Recommended article: A first-order axiomatization of the theory of finite trees
Recommended article: Extension of First-Order Theories into Trees
Recommended article: First-order logic on finite trees
Recommended article: Model complete theories of trees
Recommended article: Some model theory for generalized trees
Recommended article: Frontiers of Combining Systems
Recommended article: First-Order Logic on Higher-Order Nested Pushdown Trees
Recommended article: On model-theoretic tree properties
Recommended article: Q3384891
Recommended article: Q5129949
description: scientific article; zbMATH DE number 7495462