Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability
From MaRDI portal
Publication:6061128
DOI10.1007/978-3-031-12244-6_27OpenAlexW4376624898MaRDI QIDQ6061128
Publication date: 3 December 2023
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-12244-6_27
Mathematical logic and foundations (03-XX) Number theory (11-XX) Field theory and polynomials (12-XX)
Cites Work
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
- The rationality of the Poincaré series associated to the p-adic points on a variety
- Rationality of p-adic Poincaré series: Uniformity in p
- Truncations of ordered abelian groups
- The complexity of elementary algebra and geometry
- Solving diophantine problems over all residue class fields of a number field and all finite fields
- Model theory of adeles. I.
- The elementary theory of finite fields
- Diophantine problems over local fields. III: Decidable fields
- Definable sets, motives and 𝑝-adic integrals
- Field Arithmetic
- On the Degree of Igusa's Local Zeta Function
- Uniform p-adic cell decomposition and local zeta functions.
- Deux propriétés décidables des suites récurrentes linéaires
- On definable subsets of p-adic fields
- Sets Definable Over Finite Fields: Their Zeta-Functions
- Bounds on transfer principles for algebraically closed and complete discretely valued fields
- Lectures on the Model Theory of Valued Fields
- Diophantine Problems Over Local Fields I
- Decision procedures for real and p‐adic fields
- Elementary Statements Over Large Algebraic Fields
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
