Decidability of certain theories of integers

DOI10.1007/BF00969917zbMath0284.02024MaRDI QIDQ1844663

Yu. G. Penzin

Publication date: 1974

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Theories of relatively free solvable groups with extra predicate

Cites Work

• Definability and decision problems in arithmetic
• Undecidable Rings
• Unnamed Item

This page was built for publication: Decidability of certain theories of integers