New decidable fields of algebraic numbers-Reference-Cited by-同舟云学术

New decidable fields of algebraic numbers

Published:1979 Issue:2 Volume:77 Page:251-256
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

van den Dries L.

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.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/1979-077-02/S0002-9939-1979-0542093-6/S0002-9939-1979-0542093-6.pdf

Reference8 articles.

1. L. van den Dries, Model theory of fields (Decidability, and bounds for polynomial ideals), Thesis, Utrecht, June, 1978.

2. Fields with a solvable theory;Eršov, Ju. L.;Dokl. Akad. Nauk SSSR,1967

3. Integer valued rational functions over the 𝑝-adic numbers: A 𝑝-adic analogue of the theory of real fields;Kochen, Simon,1969

4. Interscience Tracts in Pure and Applied Mathematics, No. 11;Lang, Serge,1962

5. Studies in Logic and the Foundations of Mathematics,1977

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On a question of Abraham Robinson;Israel Journal of Mathematics;2016-07

2. On a classification of theories without the independence property;Mathematical Logic Quarterly;2013-02

3. An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity;Electronic Notes in Theoretical Computer Science;2008-12

4. The model theory ofm-ordered differential fields;MLQ;2006-08

5. Decidable regularly closed fields of algebraic numbers;Journal of Symbolic Logic;1985-06