New decidable fields of algebraic numbers

L. Van Den Dries

doi:10.1090/S0002-9939-1979-0542093-6

New decidable fields of algebraic numbers

L. Van Den Dries

Research output: Contribution to journal › Article › peer-review

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.

Original language	English (US)
Pages (from-to)	251-256
Number of pages	6
Journal	Proceedings of the American Mathematical Society
Volume	77
Issue number	2
DOIs	https://doi.org/10.1090/S0002-9939-1979-0542093-6
State	Published - Nov 1979
Externally published	Yes

ASJC Scopus subject areas

General Mathematics
Applied Mathematics

Online availability

10.1090/S0002-9939-1979-0542093-6

Library availability

Discover UIUC Full Text

Cite this

@article{05c2b687eed64d1f804896e92d1d0ad1,

title = "New decidable fields of algebraic numbers",

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.",

author = "{Van Den Dries}, L.",

year = "1979",

month = nov,

doi = "10.1090/S0002-9939-1979-0542093-6",

language = "English (US)",

volume = "77",

pages = "251--256",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "2",

}

TY - JOUR

T1 - New decidable fields of algebraic numbers

AU - Van Den Dries, L.

PY - 1979/11

Y1 - 1979/11

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

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

UR - http://www.scopus.com/inward/record.url?scp=84966201150&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84966201150&partnerID=8YFLogxK

U2 - 10.1090/S0002-9939-1979-0542093-6

DO - 10.1090/S0002-9939-1979-0542093-6

M3 - Article

AN - SCOPUS:84966201150

SN - 0002-9939

VL - 77

SP - 251

EP - 256

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 2

ER -

New decidable fields of algebraic numbers

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this