An undecidability result for the asymptotic theory of p-adic fields (original) (raw)
Related papers
Decidable theories of pseudo-p-adic closed fields
Algebra and Logic, 1989
2015
Undecidability in Function Fields of Positive Characteristic
International Mathematics Research Notices, 2009
Undecidable existential theories of polynomial rings and function fields
Karim Zahidi, Thanases Pheidas
Communications in algebra, 1999
2013
Quantifier elimination in tame infinite p-adic fields
2001
Diophantine Undecidability over Algebraic Function Fields over Finite Fields of Constants
Journal of Number Theory, 1996
On the Decidability of the Existential Theory of F_p[[t]]
2007
MODEL COMPLETENESS FOR FINITE EXTENSIONS OF p-ADIC FIELDS
2014
Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic
Journal of Algebra, 2004
Undecidability of existential theories of rings and fields: a survey
Karim Zahidi, Thanases Pheidas
Contemporary Mathematics, 2000
Journal of Number Theory, 1998
Compos Math, 2002
The abstract prime number theorem for function fields
Acta Mathematica Hungarica, 1993
A remark over fields and domains
On Diophantine Definability and Decidability in Some Infinite Totally Real Extensions of Q
Transactions of the American Mathematical Society, 2004
Definability and decidability in infinite algebraic extensions
Alexandra Shlapentokh, Carlos Videla
Annals of Pure and Applied Logic, 2014
Decidability of the class of all the rings : A problem of Ax
Forum of Mathematics, Sigma
Degrees of insolubility of extensions of arithmetic by true propositions
Russian Mathematical Surveys, 1988
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Reports on Mathematical Logic, 2022
A survey of undecidability problems of rings of totally real algebraic integers
2020
Diophantine definability and decidability in extensions of degree 2 of totally real fields
Journal of Algebra, 2007
Undecidability in Weihrauch Degrees
Lecture Notes in Computer Science, 2010
Internal End-Extensions of Peano Arithmetic and a Problem of Gaifman
Journal of the London Mathematical Society, 1976
A remark on an arithmetic theorem of Chevalley
Proceedings of the American Mathematical Society, 1965
On the Decidability of the Existential Theory of
The Riemann hypothesis is undecidable in rational arithmetic (iv)
MODEL COMPLETENESS FOR FINITE EXTENSIONS OF p-ADIC
2015
Diophantine problems over tamely ramified fields
Journal of Algebra
2018
Decidability of the theory of addition and the Frobenius map in rings of rational functions
2021
On the u-invariant of p-adic function fields
Communications in Algebra, 2005
Recursion theory on fields and abstract dependence
Journal of Algebra, 1980
数理解析研究所講究録, 2010
Note on generalizing theorems in algebraically closed fields
1998