×

zbMATH — the first resource for mathematics

The monadic theory of order. (English) Zbl 0345.02034

MSC:
03B25 Decidability of theories and sets of sentences
03B15 Higher-order logic; type theory (MSC2010)
03C60 Model-theoretic algebra
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI