Switch to: Citations

References in:

Monadic theory of order and topology in ZFC

Yuri Gurevich & Saharon Shelah

Annals of Mathematical Logic 23 (2-3):179-198 (1982)

Add references

You must login to add references.

Modest theory of short chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.details We analyse here the monadic theory of the rational order, the monadic theory of the real line with quantification over "small" subsets and models of these theories. We prove that the results are in some sense the best possible. Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (10 more) Export citation Bookmark 3 citations
Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.details Logic and Philosophy of Logic Direct download Export citation Bookmark 7 citations
Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 29 citations

1