Concepedia

Monadic theory of order and topology in ZFC

Yuri Gurevich, Saharon Shelah

Annals of Mathematical Logic · 1982 · 41 citations · 9 references

DOIFull text

Open access

Concepts

References

9

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

Undecidability of Some Topological Theories

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1951 · 109 citations · Full text

, , +12

Modest theory of short chains. I

Yuri Gurevich · Journal of Symbolic Logic · 1979 · 67 citations

, , +8