Interpreting second-order logic in the monadic theory of order
- 1 September 1983
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 48 (3) , 816-828
- https://doi.org/10.2307/2273475
Abstract
Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order.Keywords
This publication has 3 references indexed in Scilit:
- Monadic theory of order and topology IIIsrael Journal of Mathematics, 1979
- The Monadic Theory of OrderAnnals of Mathematics, 1975
- Decidability of Second-Order Theories and Automata on Infinite TreesTransactions of the American Mathematical Society, 1969