Arborescent Structures. II: Interpretability in the Theory of Trees

DOI10.2307/1998445MaRDI QIDQ3931369zbMATH OpenOpenAlexFDO

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)