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 |
