scientific article; zbMATH DE number 1059204

MaRDI QIDQ4353517zbMATHFDO

Authors Ivan Korec

Publication date 8 December 1997

zbMATH Keywords

commutative ringsmultiplicationdefinabilitydivisibilityadditionneighborhood relation

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Decidability (number-theoretic aspects) (11U05) Applications of logic to commutative algebra (13L05) Connections of number theory and logic (11U99)

Recommendations

• Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
• scientific article; zbMATH DE number 440118
• On mutual definability of operations on fields
• Definability and decidability issues in extensions of the integers with the divisibility predicate

Cited in

(7)

• Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
• scientific article; zbMATH DE number 440118 (Why is no real title available?)
• A list of arithmetical structures complete with respect to the first-order definability
• Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
• scientific article; zbMATH DE number 1985597 (Why is no real title available?)
• scientific article; zbMATH DE number 5000992 (Why is no real title available?)
• Positive existential definability of multiplication from addition and the range of a polynomial

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353517)