{ℚ} muni de l’arithmétique faible de Penzin est décidable

Delon, Françoise

doi:10.1090/S0002-9939-97-03912-9

$\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
HTML articles powered by AMS MathViewer

by Françoise Delon PDF

Proc. Amer. Math. Soc. 125 (1997), 2711-2717 Request permission

Abstract:

We prove the decidability of the additive ordered group $\mathbb {Q}$ equipped with a predicate for $2^{\mathbb {Z}}$, the multiplication restricted to $2^{\mathbb {Z}}\times \mathbb {Q}$ and the $2$-adic valuation ranging in $2^{\mathbb {Z}}$.

References

Véronique Bruyère, Georges Hansel, Christian Michaux, and Roger Villemaire, Logic and $p$-recognizable sets of integers, Bull. Belg. Math. Soc. Simon Stevin 1 (1994), no. 2, 191–238. Journées Montoises (Mons, 1992). MR 1318968
B. I. Dahn (ed.), Proceedings of the fourth Easter conference on model theory, Seminarberichte [Seminar Reports], vol. 86, Humboldt Universität, Sektion Mathematik, Berlin, 1986. Held in Gross Köris, March 31–April 5, 1986. MR 884714
F. Delon et P. Simonetta, Un principe d’Ax-Kochen-Ershov pour des structures intermédiaires entre groupes et corps valués, JSL, à paraître.
Joachim Gräter, Lokalinvariante Bewertungen, Math. Z. 192 (1986), no. 2, 183–194 (German). MR 840822, DOI 10.1007/BF01179421
C. Grünenwald et F. Haug, On stable groups in some soluble group classes, Seminarbericht 93-1 der Humboldt-Universität zu Berlin (Mathematik), Berlin, 1993, pp. 46–59.
Y. Penzin, Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number, Math Notes Academy of Sciences USSR (1973), 401–405.
A. Robinson, Solution of a problem of Tarski, Fund. Math. 47 (1959), 179–204. MR 112841, DOI 10.4064/fm-47-2-179-204
Morgan Ward and R. P. Dilworth, The lattice theory of ova, Ann. of Math. (2) 40 (1939), 600–608. MR 11, DOI 10.2307/1968944
Charles Hopkins, Rings with minimal condition for left ideals, Ann. of Math. (2) 40 (1939), 712–730. MR 12, DOI 10.2307/1968951
P. Simonetta, Une correspondance entre anneaux partiels et groupes, J.S.L., à paraître.
P. Simonetta, Décidabilité et équivalence élémentaire pour des structures du type groupe agissant sur un groupe, JSL, à paraître.
L. van den Dries, Model Theory of Fields, Thèse, Utrecht, 1978.
Lou van den Dries, The field of reals with a predicate for the powers of two, Manuscripta Math. 54 (1985), no. 1-2, 187–195. MR 808687, DOI 10.1007/BF01171706