Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


$\mathbb {Q}$ muni de l'arithmétique faible
de Penzin est décidable

Author: Françoise Delon
Journal: Proc. Amer. Math. Soc. 125 (1997), 2711-2717
MSC (1991): Primary 03C60; Secondary 12L05
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03C60, 12L05

Retrieve articles in all journals with MSC (1991): 03C60, 12L05

Additional Information

Françoise Delon
Affiliation: CNRS-Université Paris 7, UFR de Mathématiques, 2 place Jussieu, 75251 Paris cedex 05, France

PII: S 0002-9939(97)03912-9
Keywords: Penzin arithmetic, decidability, field of rational numbers, $p$-adic valuation
Received by editor(s): September 20, 1995
Received by editor(s) in revised form: April 4, 1996
Communicated by: Andreas R. Blass
Article copyright: © Copyright 1997 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia