Publication:4372333

DOI10.1090/S0002-9939-97-03912-9zbMATH Open0880.03019MaRDI QIDQ4372333FDOQ4372333

Françoise Delon

Publication date: 11 December 1997

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

zbMATH Keywords

decidability\(p\)-adic valuationfield of rational numbersPenzin arithmetic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic and \(p\)-recognizable sets of integers
• Definability and decision problems in arithmetic
• Lokalinvariante Bewertungen. (Locally invariant valuations)
• Undecidable Rings
• Solution of a problem of Tarski
• 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
• Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number
• Une correspondance entre anneaux partiels et groupes

Cited In (4)

• 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
• A tetrachotomy for expansions of the real ordered additive group
• 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)