Literature cited
G. Cherlin, L. v. d. Dries and A. Macintyre, The Elementary Theory of Regularly Closed Fields, Preprint.
Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
Yu. L. Ershov, "Regularly closed fields," Dokl. Akad. Nauk SSSR,251, No. 4, 783–785 (1980).
Yu. L. Ershov, "Totally real extensions of fields," Dokl. Akad. Nauk SSSR,263, No. 5, 1047–1049 (1982).
Ju. L. Ershov, "Two theorems on regularly r-closed fields," J. Reine Angew. Math.,347, 154–167 (1984).
Yu. L. Ershov, "Realizable i-groups," in: Some Problems and Tasks of Analysis and Algebra [in Russian], Novosibirsk State Univ., Novosibirsk (1985), pp. 46–60.
Ju. L. Ershov, "RRC-fields with small absolute Galois groups," Ann. Pure Appl. Logic,43, 1989, 197–208 (1989).
M. D. Fried and M. Jarden, Field Arithmetic, Springer, Berlin (1986).
C. Grob, "Die Entscheidbarkeit der Theorie der maximalen pseudo p-adisch abgeschlossenen Körper," Konstanzer Dissertationen, Band 202 (1987).
D. Haran and M. Jarden, "The absolute Galois group of a pseudo p-adically closed field," J. Reine Angew. math.,383, 147–206 (1988).
M. Jarden and U. Kiehne, "The elementary theory of algebraic fields of finite corank," Inv. Math.,30, 275–294 (1975).
A. Prestel, "Pseudo real closed fields," in: Set Theory and Model Theory, Proceedings, Bonn 1979 (Lect. Notes Math.,872), Springer, Berlin (1981), pp. 127–156.
A. Prestel, "Decidable theories of preordered fields," Math. Annalen,258, 481–492 (1981/82).
A. Presetl and P. Roquette, Formally p-adic Fields (Lect. Notes Math.,1050), Springer, Berlin (1984).
P. Ribenboim, Théorie des valuations, Les presses de l'Université de Montréal, Montréal (1965).
Additional information
Translated from Algebra i Logika, Vol. 28, No. 6, pp. 643–669, November–December, 1989.
Rights and permissions
About this article
Cite this article
Künzi, U.M. Decidable theories of pseudo-p-adic closed fields. Algebra and Logic 28, 421–438 (1989). https://doi.org/10.1007/BF01980234
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01980234