Undecidability of some elementary theories over pac fields

&
Annals of Pure and Applied Logic 30 (2):137-163 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90003-5

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: 104,507

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

Finite undecidability in PAC and PRC fields.Brian Tyrrell - 2024 - Annals of Pure and Applied Logic 175 (10):103465.
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.
Moshe Jarden. The elementary theory of ω-free Ax fields. Inventiones mathematicae, vol. 38 no. 2 , pp. 187–206.A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-568.
An undecidability result for the asymptotic theory of p-adic fields.Konstantinos Kartas - 2023 - Annals of Pure and Applied Logic 174 (2):103203.
Elementary geometric local–global principles for fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
Superstable groups; a partial answer to conjectures of cherlin and zil'ber.Ch Berline - 1986 - Annals of Pure and Applied Logic 30 (1):45-61.
The Woods–Erdös conjecture for polynomial rings.Maxim Vsemirnov - 2001 - Annals of Pure and Applied Logic 113 (1-3):331-344.
Decidability and Undecidability Theorems for PAC-fields.Gregory Cherlin, Lou van Den Dries & Angus Macintyre - 1987 - Journal of Symbolic Logic 52 (2):568-568.
Undecidability through Fourier series.Peter Buser & Bruno Scarpellini - 2016 - Annals of Pure and Applied Logic 167 (7):507-524.
AHLBRANDT, G. and ZIEGLER, M., Quasi finitely axiomatiz-able totally categorical theories ASH, CJ and ROSENTHAL, JW, Intersections of algebraically closed fields BAUDISCH, A., On elementary properties of free Lie algebras. [REVIEW]Jw Rosenthal & A. S. H. Cj - 1986 - Annals of Pure and Applied Logic 30:321.

Analytics

Added to PP
2014-01-16

Downloads
175 (#141,768)

6 months
8 (#516,697)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Elementary Theory of Finite Fields.James Ax - 1973 - Journal of Symbolic Logic 38 (1):162-163.
The Elementary Theory of ωfree Ax Fields.Moshe Jarden - 1987 - Journal of Symbolic Logic 52 (2):567-568.

Add more references