[图书][B] Hilbert's tenth problem: Diophantine classes and extensions to global fields
A Shlapentokh - 2007 - books.google.com
In the late sixties Matiyasevich, building on the work of Davis, Putnam and Robinson,
showed that there was no algorithm to determine whether a polynomial equation in several …
showed that there was no algorithm to determine whether a polynomial equation in several …
Diophantine undecidability of function fields of characteristic greater than 2, finitely generated over fields algebraic over a finite field
A Shlapentokh - Compositio Mathematica, 2002 - Springer
Diophantine Undecidability of Function Fields of Characteristic Greater than 2, Finitely Generated
over Fields Algebraic over a Page 1 Diophantine Undecidability of Function Fields of …
over Fields Algebraic over a Page 1 Diophantine Undecidability of Function Fields of …
On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
A Shlapentokh - The Journal of Symbolic Logic, 2002 - cambridge.org
Let K be a function field of one variable over a constant field C of finite transcendence
degree over ℂ. Let M/K be a finite extension and let W be a set of primes of K such that all …
degree over ℂ. Let M/K be a finite extension and let W be a set of primes of K such that all …
[PDF][PDF] Diophantine properties of finite commutative rings
M Prunescu - Archive for Mathematical Logic, 2003 - mathematik.uni-freiburg.de
Diophantine Properties of Finite Commutative Rings Page 1 Diophantine Properties of Finite
Commutative Rings Mihai Prunescu ∗ Abstract Simple observations on diophantine definability …
Commutative Rings Mihai Prunescu ∗ Abstract Simple observations on diophantine definability …
An isomorphism between monoids of external embeddings: About definability in arithmetic
M Prunescu - The Journal of Symbolic Logic, 2002 - cambridge.org
AN ISOMORPHISM BETWEEN MONOIDS OF EXTERNAL EMBEDDINGS: ABOUT
DEFINABILITY IN ARITHMETIC §1. Introduction. It would be nice if t Page 1 THE JOURNAL OF …
DEFINABILITY IN ARITHMETIC §1. Introduction. It would be nice if t Page 1 THE JOURNAL OF …