Skip to main content

Part II

  • 512 Accesses

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

Keywords

  • Topological Vector Space
  • Finite Type
  • Valuation Ring
  • Real Vector Space
  • Order Topology

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   39.95
Price excludes VAT (Canada)
  • 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.

    CrossRef  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.

    CrossRef  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.

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    CrossRef  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.

    CrossRef  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.

    CrossRef  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.

    CrossRef  MATH  Google Scholar 

Download references

Authors

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