Decidability and undecidability theorems for pac-fields

Gregory Cherlin, Lou Van Den Dries, Angus Macintyre

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)101-104
Number of pages4
JournalBulletin of the American Mathematical Society
Volume4
Issue number1
DOIs
StatePublished - Jan 1 1981
Externally publishedYes

Fingerprint

Computability and decidability
Undecidability
Decidability
Theorem

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics

Cite this

Decidability and undecidability theorems for pac-fields. / Cherlin, Gregory; Van Den Dries, Lou; Macintyre, Angus.

In: Bulletin of the American Mathematical Society, Vol. 4, No. 1, 01.01.1981, p. 101-104.

Research output: Contribution to journalArticle

Cherlin, Gregory ; Van Den Dries, Lou ; Macintyre, Angus. / Decidability and undecidability theorems for pac-fields. In: Bulletin of the American Mathematical Society. 1981 ; Vol. 4, No. 1. pp. 101-104.
@article{05876ca6956e483d958e4801ebd238cc,
title = "Decidability and undecidability theorems for pac-fields",
author = "Gregory Cherlin and {Van Den Dries}, Lou and Angus Macintyre",
year = "1981",
month = "1",
day = "1",
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/1/1

Y1 - 1981/1/1

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

VL - 4

SP - 101

EP - 104

JO - Bulletin of the American Mathematical Society

JF - Bulletin of the American Mathematical Society

SN - 0273-0979

IS - 1

ER -