Some proofs of undecidability of arithmetic

DOI10.4064/FM-43-2-166-177MaRDI QIDQ3237141zbMATH OpenOpenAlexFDO

Authors Andrzej Grzegorczyk

Publication date 1956

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 1160644
• Undecidability without arithmetization
• Undecidability, incompleteness and Arnol'd problems
• Undecidability in number theory
• Undecidability in number theory
• scientific article; zbMATH DE number 952488
• Undecidable extensions of Skolem arithmetic
• Questions of decidability and undecidability in Number Theory
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
• Degrees of insolubility of extensions of arithmetic by true propositions

Cited in

(7)

• scientific article; zbMATH DE number 4059394 (Why is no real title available?)
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
• On the concept of categoricity
• scientific article; zbMATH DE number 2236687 (Why is no real title available?)
• scientific article; zbMATH DE number 3916265 (Why is no real title available?)
• Computer Science Logic

This page was built for publication: Some proofs of undecidability of arithmetic

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