Decidability and undecidability theorems for PAC-fields

Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus

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

Bulletin of the American Mathematical Society

The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.

ISSN 1088-9485 (online) ISSN 0273-0979 (print)

The 2024 MCQ for Bulletin of the American Mathematical Society is 0.84.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

Decidability and undecidability theorems for PAC-fields
HTML articles powered by AMS MathViewer

by Gregory Cherlin, Lou van den Dries and Angus Macintyre PDF

Bull. Amer. Math. Soc. 4 (1981), 101-104

References

James Ax, The elementary theory of finite fields, Ann. of Math. (2) 88 (1968), 239–271. MR 229613, DOI 10.2307/1970573
Moshe Jarden, Rational points on algebraic varieties over large number fields, Bull. Amer. Math. Soc. 75 (1969), 603–606. MR 240102, DOI 10.1090/S0002-9904-1969-12257-3
Moshe Jarden, The elementary theory of $\omega$-free Ax fields, Invent. Math. 38 (1976/77), no. 2, 187–206. MR 435051, DOI 10.1007/BF01408571