Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-19T20:11:05.640Z Has data issue: false hasContentIssue false

Modest theory of short chains. II

Published online by Cambridge University Press:  12 March 2014

Yuri Gurevich
Affiliation:
Ben-Gurion University, Beer-Sheva, Israel
Saharon Shelah
Affiliation:
Hebrew University, Jerusalem, Israel

Abstract

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1979

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[ER]Erdös, P. and Rado, R., A partition calculus in set theory, Bulletin of the American Mathematical Society, vol. 62 (1956), pp. 427489.CrossRefGoogle Scholar
[Gu 1]Gurevich, Y., Monadic theory of order and topology. I, Israel Journal of Mathematics, vol. 27 (1977), pp. 299319.CrossRefGoogle Scholar
[Gu 2]Gurevich, Y., Modest theory of short chains. I, this Journal, vol. 44 (1979), pp. 481490.Google Scholar
[Gu 3]Gurevich, Y., Monadic theory of order and topology. II, Israel Journal of Mathematics (to appear).Google Scholar
[GS]Gurevich, Y. and Shelah, S., Modesty 1, Notices of the American Mathematical Society, vol. 24 (1977), pp. A20.Google Scholar
[MS]Martin, D. A. and Solovay, R.M., Internal Cohen extensions, Annals of mathematical Logic, vol. 2 (1970), pp. 143178.CrossRefGoogle Scholar
[Ra]Rabin, M.O., Decidability of second order theories and automata on infinite trees, Transactions of the American Mathematical Society, vol. 141 (1969), pp. 135.Google Scholar
[Sh]Shelah, S., The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379419.CrossRefGoogle Scholar