A note on proofs of falsehood

DOI10.1007/BF02017501MaRDI QIDQ3770530zbMATH OpenOpenAlexFDO

Authors Jan Krajíček

Publication date 1987

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

cutdepth of a proofrelative consistency

Mathematics Subject Classification ID

Complexity of proofs (03F20) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 910749
• The unprovability of small inconsistency. A study of local and global interpretability
• scientific article; zbMATH DE number 3974958
• A note of provability, truth and existence
• scientific article; zbMATH DE number 4004177

Cites work

• A note on the undefinability of cuts
• Counting Δ_0 sets
• Cuts, consistency statements and interpretations
• scientific article; zbMATH DE number 3972855 (Why is no real title available?)

Cited in

(20)

• A note of provability, truth and existence
• Friedman-reflexivity
• The arithmetics of a theory
• Interpretability degrees of finitely axiomatized sequential theories
• A generalization of the second incompleteness theorem and some exceptions to it
• Extension and interpretability
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• scientific article; zbMATH DE number 6699698 (Why is no real title available?)
• scientific article; zbMATH DE number 3974958 (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
• Enayat theories
• The small-is-very-small principle
• Erratum to: ``How negative truths are made true
• The interpretation existence lemma
• Strange case of Dr. soundness and Mr. consistency
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Passive induction and a solution to a Paris-Wilkie open question

This page was built for publication: A note on proofs of falsehood

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