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 |