Publication:4353517
From MaRDI portal
zbMath0877.03026MaRDI QIDQ4353517
Publication date: 8 December 1997
11U05: Decidability (number-theoretic aspects)
03F30: First-order arithmetic and fragments
13L05: Applications of logic to commutative algebra
11U99: Connections of number theory and logic
Related Items
Unnamed Item, INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS, A list of arithmetical structures complete with respect to the first-order definability