A note on proofs of falsehood

DOI10.1007/BF02017501zbMath0633.03056OpenAlexW2085677228MaRDI QIDQ3770530

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

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

Related Items (14)

Friedman-reflexivity ⋮ Extension and interpretability ⋮ Passive induction and a solution to a Paris-Wilkie open question ⋮ The small‐is‐very‐small principle ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Self-verifying axiom systems, the incompleteness theorem and related reflection principles ⋮ The unprovability of small inconsistency. A study of local and global interpretability ⋮ The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ Faith \& falsity ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem ⋮ The Interpretation Existence Lemma ⋮ The arithmetics of a theory

Cites Work

• Counting $Δ_0$ sets
• A note on the undefinability of cuts
• Cuts, consistency statements and interpretations
• Unnamed Item

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