Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

New decidable fields of algebraic numbers


Author: L. van den Dries
Journal: Proc. Amer. Math. Soc. 77 (1979), 251-256
MSC: Primary 03C60; Secondary 03B25, 12L05
DOI: https://doi.org/10.1090/S0002-9939-1979-0542093-6
MathSciNet review: 542093
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A formally real field of algebraic numbers is constructed which has decidable elementary theory and does not have a real closed or p-adically closed subfield.


References [Enhancements On Off] (What's this?)

  • [1] L. van den Dries, Model theory of fields (Decidability, and bounds for polynomial ideals), Thesis, Utrecht, June, 1978.
  • [2] Yu. L. Eršov, Fields with a solvable theory, Dokl. Akad. Nauk SSSR 174 (1967); English translation in Soviet Math 8 (1967), 575-576. MR 0214575 (35:5424)
  • [3] S. Kochen, Integer-valued rational functions over the p-adic numbers: a p-adic analogue of the theory of real fields, Proc. Sympos. Pure Math., vol. 12, Amer. Math. Soc., Providence, R.I., 1969, pp. 57-73. MR 0257030 (41:1685)
  • [4] S. Lang, Diophantine geometry, Interscience, New York, 1961. MR 0142550 (26:119)
  • [5] A. Macintyre, Model completeness, Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 139-180. MR 0457132 (56:15351)
  • [6] M. Rabin, Computable algebra: general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341-360. MR 0113807 (22:4639)
  • [7] A. Robinson, Metamathematical problems, J. Symbolic Logic 38 (1973), 500-516. MR 0337471 (49:2240)
  • [8] B. L. van der Waerden, Moderne algebra. I, Springer-Verlag, Berlin and New York, 1930.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03C60, 03B25, 12L05

Retrieve articles in all journals with MSC: 03C60, 03B25, 12L05


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1979-0542093-6
Article copyright: © Copyright 1979 American Mathematical Society

American Mathematical Society