Hostname: page-component-76fb5796d-x4r87 Total loading time: 0 Render date: 2024-04-26T10:14:59.959Z Has data issue: false hasContentIssue false
  • English
  • Français

Modest theory of short chains. II

Published online by Cambridge University Press:  12 March 2014

Yuri Gurevich  and
Saharon Shelah
Yuri Gurevich
Affiliation:
Ben-Gurion University, Beer-Sheva, Israel
Saharon Shelah
Affiliation:
Hebrew University, Jerusalem, Israel
Get access Rights & Permissions [Opens in a new window]

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
Information
The Journal of Symbolic Logic , Volume 44 , Issue 4 , December 1979 , pp. 491 - 502
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. 427–489.CrossRefGoogle Scholar
[Gu 1]Gurevich, Y., Monadic theory of order and topology. I, Israel Journal of Mathematics, vol. 27 (1977), pp. 299–319.CrossRefGoogle Scholar
[Gu 2]Gurevich, Y., Modest theory of short chains. I, this Journal, vol. 44 (1979), pp. 481–490.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. A–20.Google Scholar
[MS]Martin, D. A. and Solovay, R.M., Internal Cohen extensions, Annals of mathematical Logic, vol. 2 (1970), pp. 143–178.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. 1–35.Google Scholar
[Sh]Shelah, S., The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379–419.CrossRefGoogle Scholar