Advertisement

Decidability of ω — Trees with bounded sets — A survey

  • Detlef Seese
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. EHRENFEUCHT, An application of games to the completeness problem for formalized theories, Fund. Math. 49 (1961), 129–141.Google Scholar
  2. [2]
    R.J. FRAISSÉ, Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Etude générale. II. Application aux relations d' order, Alger — Mathematiques, vol. 2 (1955), 16–60, 273–295.Google Scholar
  3. [3]
    H. LÄUCHLI, A decision procedure for the weak second order theory of linear order, Contributions to Math. Logic. Proc. of the Logic Colloquium, Hanover 1966, North-Holland Publ. Co., Amsterdam 1968.Google Scholar
  4. [4]
    J.A. MAKOWSKY, Topological Model Theory, Proceedings of the CIME model theory session, Bressanone 1975.Google Scholar
  5. [5]
    M.O. RABIN, A Simple Method of Undecidability Proofs and some Applications, Log. Meth. Phil. Science Proc. Jerusalem, (1964), 58–68.Google Scholar
  6. [6]
    M.O. RABIN, Decidability of second order theories and automata on infinite trees, Trans. A.M.S. 149 (1969), 1–35.Google Scholar
  7. [7]
    M.O. RABIN, Automata on Infinite Objects and Church's Problem, Conference Board of the Mathematical Sciences, Regional Conference Series in Mathematics, No. 13.Google Scholar
  8. [8]
    D.G. SEESE and H.P. TUSCHIK, Constructions of Nice Trees, appears in Proc. of the 3. Conference on Set Theory and Hierarchy Theory, Bierutowice 1976.Google Scholar
  9. [9]
    D.G. SEESE, Second Order Logic, Generalized Quantifiers and Decidability, to appear in Bulletin de L' Academie Polonaise des Sciences.Google Scholar
  10. [10]
    S. SHELAH, The monadic theory of order, Annals of Mathematics, 102 (1975), 379–419.Google Scholar
  11. [11]
    J.J. LE TOURNEAU, Decision problems related to the concept of operation, Ph.D. Thesis, Berkeley 1968.Google Scholar
  12. [12]
    S. VINNER, A generalization of Ehrenfeucht's Game and some Applications, Israel Journal of Mathematics, Vol. 12, No. 3, (1972), 279–298.Google Scholar
  13. [13]
    M. ZIEGLER, letter 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Detlef Seese
    • 1
  1. 1.AdW der DDR, ZIMMBerlinDDR

Personalised recommendations