Arborescent Structures. II: Interpretability in the Theory of Trees

DOI10.2307/1998445zbMath0475.03014OpenAlexW4229989283MaRDI QIDQ3931369

James H. Schmerl

Publication date: 1981

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1998445

zbMATH Keywords

decidable theorymonadic second-order theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Categoricity and completeness of theories (03C35)

Related Items (6)

Critically indecomposable partially ordered sets, graphs, tournaments and other binary relational structures ⋮ An \(O(n^ 2)\) incremental algorithm for modular decomposition of graphs and 2-structures ⋮ Back-and-forth for systems of antichains ⋮ Sharp Vaught's conjecture for some classes of partial orders ⋮ VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES ⋮ The structure of the models of decidable monadic theories of graphs

This page was built for publication: Arborescent Structures. II: Interpretability in the Theory of Trees