Extended universal theories of the integers

DOI10.1007/BF01669479zbMath0394.03038MaRDI QIDQ1252236

Vladimir Ivanovich Mart'yanov

Publication date: 1977

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

Degrees of UnsolvabilityModel TheoryUniversal Number Theory

Mathematics Subject Classification ID

Model theory (03C99) Other degrees and reducibilities in computability and recursion theory (03D30) Connections of number theory and logic (11U99)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Extended universal theories of the integers