La théorie d’un anneau de polynomes. (French) Zbl 0563.12027

We give four possible definitions of the weak second order theory of a model and prove the interpretability of one in another. We prove the existence of \(2^{\aleph_ 0}\) countable fields having the same weak second order theory. We give sketches of proofs for the following: for any nontrivial commutative totally orderable monoid G, the weak second order theory of a field F is interpretable in the theory of the polynomial ring F[G], uniformly for any infinite field F; the same and the converse interpretabilities are true for all fields, under some more conditions on G. We end with some results about the models of the theory of a polynomial ring. More detailed proofs will appear in J. Symb. Logic.


12L12 Model theory of fields
03B15 Higher-order logic; type theory (MSC2010)
03C60 Model-theoretic algebra
Full Text: DOI Numdam EuDML


[1] A. BAUVAL : Une condition n\?ssaire d’\?ivalence \?mentaire entre anneaux de polynô-\? EUR sur des corps , C.R. Acad. Sc., Paris, t. 295 ( 1982 ), s\?e I, pp. 31-33. MR 83j:03052 | Zbl 0505.03017 · Zbl 0505.03017
[2] A. BAUVAL : La th\?ie du premier ordre des anneaux de polynô-\? EUR sur des corps , th\? de 3^\circ cycle, Université <e Paris VII, 1983 .
[3] A. BAUVAL : Polynomial rings and weak second order logic , soumis au J.S.L. Zbl 0592.03006 · Zbl 0592.03006
[4] P.C. PAPPAS : The model theoretic structure of group rings , Ph. D. Thesis, Pennsylvania State University, 1982 . · Zbl 0557.03020
[5] R. ROBINSON : Undecidable rings , Transactions A.M.S. 1951 , pp. 181-203. MR 12,791b | Zbl 0042.24503 · Zbl 0042.24503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.