The structure of the models of decidable monadic theories of graphs
- 1 July 1991
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 53 (2) , 169-195
- https://doi.org/10.1016/0168-0072(91)90054-p
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Interpreting second-order logic in the monadic theory of orderThe Journal of Symbolic Logic, 1983
- The monadic theory of ω2The Journal of Symbolic Logic, 1983
- Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered setsThe Journal of Symbolic Logic, 1981
- Decidability and ℵ0-categoricity of theories of partially ordered setsThe Journal of Symbolic Logic, 1980
- Modest theory of short chains. IIThe Journal of Symbolic Logic, 1979
- Some Graph Theoretical Operations and DecidabilityMathematische Nachrichten, 1979
- Über Unentscheidbare Erweiterungen von SCMathematical Logic Quarterly, 1978
- The Monadic Theory of OrderAnnals of Mathematics, 1975
- The undecidability of theories of groupoids with an extra predicateProceedings of the American Mathematical Society, 1974
- Ein Zerlegungssatz für unendliche Graphen und seine Anwendung auf HomomorphiebasenMathematische Nachrichten, 1967