Algebraic and logical descriptions of generalized trees

DOI10.23638/LMCS-13(3:7)2017MaRDI QIDQ5367045zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1609.09675

zbMATH Keywords

algebramonadic second-order logicordered treequasi-treerank-widthregular term

Mathematics Subject Classification ID

Higher-order logic (03B16) Trees (05C05) Structural characterization of families of graphs (05C75)

Recommendations

• Regularity equals monadic second-order definability for quasi-trees
• Several notions of rank-width for countable graphs
• On better quasi-ordering countable trees
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• On frontiers of regular trees

Cited in

(11)

• Pseudo-trees and Boolean algebras
• Regularity equals monadic second-order definability for quasi-trees
• Interpretations in trees with countably many branches
• scientific article; zbMATH DE number 475422 (Why is no real title available?)
• scientific article; zbMATH DE number 848024 (Why is no real title available?)
• Betweenness of partial orders
• Induced betweenness in order-theoretic trees
• Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
• Betweenness in order-theoretic trees
• Several notions of rank-width for countable graphs
• Axiomatization of betweenness in order-theoretic trees

This page was built for publication: Algebraic and logical descriptions of generalized trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5367045)