Decidability and undecidability theorems for pac-fields

Gregory Cherlin; Lou Van Den Dries; Angus Macintyre

doi:10.1090/S0273-0979-1981-14872-2

Decidability and undecidability theorems for pac-fields

Gregory Cherlin, Lou Van Den Dries, Angus Macintyre

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

Original language	English (US)
Pages (from-to)	101-104
Number of pages	4
Journal	Bulletin of the American Mathematical Society
Volume	4
Issue number	1
DOIs	https://doi.org/10.1090/S0273-0979-1981-14872-2
State	Published - 1981
Externally published	Yes

ASJC Scopus subject areas

Mathematics(all)
Applied Mathematics

Online availability

10.1090/S0273-0979-1981-14872-2

Library availability

Discover UIUC Full Text

Cite this

@article{05876ca6956e483d958e4801ebd238cc,

title = "Decidability and undecidability theorems for pac-fields",

author = "Gregory Cherlin and {Van Den Dries}, Lou and Angus Macintyre",

year = "1981",

doi = "10.1090/S0273-0979-1981-14872-2",

language = "English (US)",

volume = "4",

pages = "101--104",

journal = "Bulletin of the American Mathematical Society",

issn = "0273-0979",

publisher = "American Mathematical Society",

number = "1",

}

TY - JOUR

T1 - Decidability and undecidability theorems for pac-fields

AU - Cherlin, Gregory

AU - Van Den Dries, Lou

AU - Macintyre, Angus

PY - 1981

Y1 - 1981

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

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

U2 - 10.1090/S0273-0979-1981-14872-2

DO - 10.1090/S0273-0979-1981-14872-2

M3 - Article

AN - SCOPUS:84966229254

SN - 0273-0979

VL - 4

SP - 101

EP - 104

JO - Bulletin of the American Mathematical Society

JF - Bulletin of the American Mathematical Society

IS - 1

ER -

Decidability and undecidability theorems for pac-fields

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this