Decidability and Undecidability Theorems for PAC-fields

, &
Journal of Symbolic Logic 52 (2):568-568 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274415

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,004

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 , pp. 101–104. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):568.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
Macintyre Angus. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 , pp. 253–270.Macintyre Angus. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 , pp. 1–25.Reineke Joachim. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 , pp. 357–359.Baldwin J. T. and Saxl Jan. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A , pp. 267–276.Zil'bér B. I.. Gruppy i kol'ca, téoriá kotoryh katégorična . Fundamenta mathematicae, vol. 95 , pp. 173–188.Baur Walter, Cherlin Gregory, and Macintyre Angus. Totally categorical groups and rings. Journal of algebra, vol. 57 , pp. 407–440.Cherlin Gregory. Groups of small Morley rank. Annals of mathematical logic, vol. 17 , pp. 1–28.Cherlin G. and Shelah S.. Superstable fields and groups. Annals of mathematical logic, vol. 18 , pp. 227–270.Poizat Bruno. Sous-groupes définissables d 'un groupe stable. [REVIEW]Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
Correction to “T-convexity and tame extensions II”.Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597-1597.
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard.Ehud Hrushovski & Ya'acov Peterzil - 2007 - Journal of Symbolic Logic 72 (1):119 - 122.
Finite undecidability in PAC and PRC fields.Brian Tyrrell - 2024 - Annals of Pure and Applied Logic 175 (10):103465.
Undecidability of some elementary theories over pac fields.Gregory Cherlin & Moshe Jarden - 1986 - Annals of Pure and Applied Logic 30 (2):137-163.
Decidability and essential undecidability.Hilary Putnam - 1957 - Journal of Symbolic Logic 22 (1):39-54.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,457,554)

6 months
7 (#623,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.

Add more citations

References found in this work

No references found.

Add more references