scientific article; zbMATH DE number 517088
From MaRDI portal
Publication:4282618
Recommendations
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- scientific article; zbMATH DE number 1088209
- An axiomatic approach to self-referential truth
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
- Automated Reasoning with Analytic Tableaux and Related Methods
Cited in
(13)- Local consistency of arithmetic with an attainability predicate
- A generalization of the second incompleteness theorem and some exceptions to it
- RETRPROV. A system that looks for axioms
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- On the broader epistemological significance of self-justifying axiom systems
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
- scientific article; zbMATH DE number 3941556 (Why is no real title available?)
- 1998 Spring Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 1088209 (Why is no real title available?)
- The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
- Automated Reasoning with Analytic Tableaux and Related Methods
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282618)
