Decidability of certain theories of integers

DOI10.1007/BF00969917MaRDI QIDQ1844663zbMATH OpenFDO

Authors Yu. G. Penzin

Publication date 1974

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

Full work available at URL https://doi.org/10.1007/BF00969917

Mathematics Subject Classification ID

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

Cites work

• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 3322089 (Why is no real title available?)
• Undecidable Rings

Cited in

(1)

• Theories of relatively free solvable groups with extra predicate

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

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