A note on proofs of falsehood

DOI10.1007/BF02017501MaRDI QIDQ3770530zbMATHOpenAlexFDO

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

cutrelative consistencydepth of a proof

Mathematics Subject Classification ID

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

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

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

Cited in

(19)

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

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)