Arborescent Structures. II: Interpretability in the Theory of Trees

DOI10.2307/1998445zbMATH Open0475.03014OpenAlexW4229989283MaRDI QIDQ3931369FDOQ3931369

Authors: 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) Categoricity and completeness of theories (03C35) Models of other mathematical theories (03C65)

Cited In (6)

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

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

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