A Decidable Fragment of Recursive Arithmetic

DOI10.1002/MALQ.19630091203MaRDI QIDQ5722258zbMATH OpenOpenAlexFDO

Authors Reuben Goodstein

Publication date 1963

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19630091203

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(3)

• Decidability properties for fragments of CHR
• scientific article; zbMATH DE number 1916517 (Why is no real title available?)
• Tractable fragments of Presburger arithmetic

This page was built for publication: A Decidable Fragment of Recursive Arithmetic

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