scientific article; zbMATH DE number 3537666

zbMath0345.02035MaRDI QIDQ4113824

Anatoly Petrivich Beltiukov

Publication date: 1976

Full work available at URL: https://eudml.org/doc/66274

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (8)

Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ NP-complete problems for systems of linear polynomial's values divisibilities ⋮ Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ Extended universal theories of the integers ⋮ Universal theories of integers and the extended Bliznetsov hypothesis

This page was built for publication: