$\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
Additional Information
- Françoise Delon
- Affiliation: CNRS-Université Paris 7, UFR de Mathématiques, 2 place Jussieu, 75251 Paris cedex 05, France
- Email: delon@logique.jussieu.fr
- Received by editor(s): September 20, 1995
- Received by editor(s) in revised form: April 4, 1996
- Communicated by: Andreas R. Blass
- © Copyright 1997 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 125 (1997), 2711-2717
- MSC (1991): Primary 03C60; Secondary 12L05
- DOI: https://doi.org/10.1090/S0002-9939-97-03912-9
- MathSciNet review: 1401733