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

DOI10.1090/S0002-9939-97-03912-9MaRDI QIDQ4372333zbMATH OpenFDO

Authors Françoise Delon

Publication date 11 December 1997

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9939-97-03912-9

zbMATH Keywords

\(p\)-adic valuationdecidabilityfield of rational numbersPenzin arithmetic

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability and field theory (12L05)

Cites work

• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 3965985 (Why is no real title available?)
• scientific article; zbMATH DE number 554982 (Why is no real title available?)
• Logic and p-recognizable sets of integers
• Lokalinvariante Bewertungen. (Locally invariant valuations)
• Solution of a problem of Tarski
• Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number
• The field of reals with a predicate for the powers of two
• Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
• Undecidable Rings
• Une correspondance entre anneaux partiels et groupes

Cited in

(4)

• A tetrachotomy for expansions of the real ordered additive group
• Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien
• Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
• Decidability questions for a ring of Laurent polynomials

This page was built for publication: $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372333)