Modest Theory of Short Chains, II

  • Yuri Gurevich ,
  • Saharon Shelah

Journal of Symbolic Logic | , Vol 44: pp. 491-502

Download BibTex

We analyze the monadic theory of the rational line and the theory of real line with quantification over “small” subsets. The results are in some sense the best possible.