Existential definability with bounds on archimedean valuations

DOI10.2178/jsl/1058448445zbMath1068.03011OpenAlexW2009914301MaRDI QIDQ4650261

Alexandra Shlapentokh

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448445

zbMATH Keywords

decidabilityHilbert's tenth problemnumber ring

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Type-amalgamation properties and polygroupoids in stable theories

Cites Work

• Extension of Hilbert's tenth problem to some algebraic number fields
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Diophantine relationships between algebraic number fields
• Hilbert's Tenth Problem for Quadratic Rings
• Diophantine Sets over Some Rings of Algebraic Integers
• Hilbert's Tenth Problem is Unsolvable
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Existential definability with bounds on archimedean valuations