Concepedia

Interpreting second-order logic in the monadic theory of order

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic · 1983 · 23 citations · 6 references

DOI

Concepts

Abstract

Abstract Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order.

References

6

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

, , +13

Decidability of second-order theories and automata on infinite trees

Michael O. Rabin · Bulletin of the American Mathematical Society · 1968 · 357 citations · Full text

, , +13

The Monadic Theory of Order

Saharon Shelah · Annals of Mathematics · 1975 · 323 citations · Full text

, , +8

Annals of mathematical logic

Journal of Symbolic Logic · 1969 · 58 citations

, , +2

Monadic theory of order and topology, 1

Yuri Gurevich · Israel Journal of Mathematics · 1977 · 21 citations

, , +11