A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field

L. P. van den Dries

doi:10.1090/S0002-9939-1980-0560592-6

A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field

L. P. van den Dries

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

Abstract

Linearly ordered rings and preordered fields whose first order theory admits quantifier elimination are shown to be real closed fields.

Original language	English (US)
Pages (from-to)	97-100
Number of pages	4
Journal	Proceedings of the American Mathematical Society
Volume	79
Issue number	1
DOIs	https://doi.org/10.1090/S0002-9939-1980-0560592-6
State	Published - May 1980
Externally published	Yes

ASJC Scopus subject areas

Mathematics(all)
Applied Mathematics

Online availability

10.1090/S0002-9939-1980-0560592-6

Library availability

Discover UIUC Full Text

Cite this

@article{9d349569e56b4c5896ed029b82af0c0f,

title = "A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field",

abstract = "Linearly ordered rings and preordered fields whose first order theory admits quantifier elimination are shown to be real closed fields.",

author = "{van den Dries}, {L. P.}",

year = "1980",

month = may,

doi = "10.1090/S0002-9939-1980-0560592-6",

language = "English (US)",

volume = "79",

pages = "97--100",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "1",

}

TY - JOUR

T1 - A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field

AU - van den Dries, L. P.

PY - 1980/5

Y1 - 1980/5

N2 - Linearly ordered rings and preordered fields whose first order theory admits quantifier elimination are shown to be real closed fields.

AB - Linearly ordered rings and preordered fields whose first order theory admits quantifier elimination are shown to be real closed fields.

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

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

U2 - 10.1090/S0002-9939-1980-0560592-6

DO - 10.1090/S0002-9939-1980-0560592-6

M3 - Article

AN - SCOPUS:0002412956

SN - 0002-9939

VL - 79

SP - 97

EP - 100

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 1

ER -

A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this