Skip to main content
SpringerLink
Log in
Book cover

Topological Model Theory pp 78–147Cite as

Part II

  • Chapter
  • First Online:

  • 558 Accesses

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 769))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   39.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Ahlbrand: Endlich axiomatisierbare Theorien von T 3 -Räumen, Diplomarbeit, Freiburg (1979).

    Google Scholar 

  2. W. Baur: Undecidability of the theory of abelian groups with a subgroup, Proc. AMS 55 (1976), pp. 125–128.

    Article  MathSciNet  MATH  Google Scholar 

  3. N. Bourbaki: Algèbre (Modules sur les anneaux principaux), Paris (1964).

    Google Scholar 

  4. N. Bourbaki: Algèbre commutative (Valuations), Paris (1964).

    Google Scholar 

  5. Charlotte N. Burger: Some remarks on countabletopological spaces. Seminarreport, FU Berlin (1971).

    Google Scholar 

  6. G. Cherlin, P. Schmitt: Decidability of topological abelian groups, (1979) to appear.

    Google Scholar 

  7. P.C. Eklof, E.R. Fischer: The elementary theory of abelian groups, Annals math. logic 4 (1972), pp. 115–171.

    Article  MathSciNet  MATH  Google Scholar 

  8. L. Fuchs: Infinite abelian groups, Vol. I, New York (1970).

    Google Scholar 

  9. Y. Gurevich: Expanded theory of ordered abelian groups, Annals of math. logic 12 (1977), pp. 193–228.

    Article  MathSciNet  MATH  Google Scholar 

  10. Y. Gurevich: Monadic theory of order and topology, Israel J. of Math. 27 (1977), pp. 299–319.

    Article  MathSciNet  MATH  Google Scholar 

  11. I. Kaplansky: Topological methods in valuation theory, Duke Math.J. 14 (1947), pp. 527–541.

    Article  MathSciNet  MATH  Google Scholar 

  12. H.J. Kowalsky, H. Dürbaum: Arithmetische Kennzeichnung von Körpertopologien, J. reine angew. Math. 191 (1953), pp. 135–152.

    MathSciNet  MATH  Google Scholar 

  13. H. Läuchli, J. Leonhard: On the elementary theory of linear order, Fund. Math. 59, pp. 109–116.

    Google Scholar 

  14. I.L. Lynn: Linearly orderable spaces, Trans. AMS 113 (1964), pp. 189–218.

    Article  MathSciNet  MATH  Google Scholar 

  15. A. Prestel, M. Ziegler: Model-theoretic methods in the theory of topological fields, J. reine angewandte Math. 299/300 (1978), pp. 318–341.

    MathSciNet  MATH  Google Scholar 

  16. A. Prestel, M. Ziegler: Non axiomatizable classes of V-topological fields, to appear.

    Google Scholar 

  17. M.O. Rabin: Decidability of second-order theories and automata on infinite trees, Trans. AMS. 141, (1969), pp. 1–35.

    MathSciNet  MATH  Google Scholar 

  18. M.O. Rabin: A simple method for undecidability proofs and some applications, in Bar-Hillel (Ed.) Logic, Meth. and Phil. (1965), pp. 58–68.

    Google Scholar 

  19. A. Robinson: Complete theories, Amsterdam (1956).

    Google Scholar 

  20. G.E. Sacks: Saturated Model Theory, Reading (1972).

    Google Scholar 

  21. W.R. Scott: Algebraically closed groups, Proc. Amer. Math. Soc. 2 (1951), pp. 118–121.

    Article  MathSciNet  MATH  Google Scholar 

  22. D. Seese: Decidability of ω-trees with bounded sets, in print.

    Google Scholar 

  23. W. Szmielew: Elementary properties of abelian groups, Fund. Math. 41 (1955), pp. 203–271.

    MathSciNet  MATH  Google Scholar 

  24. V. Sperschneider: Modelltheorie topologischer Vektorräume. Dissertation Freburg, in preparation.

    Google Scholar 

  25. A.L. Stone: Nonstandard analysis in topological algebra, in Applications of Model Theory to Algebra, Analysis and Probability, New York (1969), pp. 285–300.

    Google Scholar 

  26. J.P. Thomas: Associted regular spaces, Canadian Journal 20, (1968), pp. 1087–1092.

    Google Scholar 

  27. K. Yosida: Functional Analysis, Berlin (1964).

    Google Scholar 

  28. H. Gross: Eine Bemerkung zu dichten Unterräumen reeller quadratischer Räume, Comm. Math. Helv. 45 (1970), pp. 472–493.

    Article  MATH  Google Scholar 

Download references

Authors
  1. Jörg Flum
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Ziegler
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag

About this chapter

Cite this chapter

Flum, J., Ziegler, M. (1980). Part II. In: Topological Model Theory. Lecture Notes in Mathematics, vol 769. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0097008

Download citation

  • DOI: https://doi.org/10.1007/BFb0097008

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09732-7

  • Online ISBN: 978-3-540-38544-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation