A note on proofs of falsehood

DOI10.1007/BF02017501zbMATH Open0633.03056OpenAlexW2085677228MaRDI QIDQ3770530FDOQ3770530

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

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

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)

Cites Work

• Cuts, consistency statements and interpretations
• Title not available (Why is that?)
• A note on the undefinability of cuts
• Counting $Δ_0$ sets

Cited In (19)

• The unprovability of small inconsistency. A study of local and global interpretability
• Interpretability degrees of finitely axiomatized sequential theories
• Enayat theories
• Faith \& falsity
• Friedman-reflexivity
• Extension and interpretability
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Passive induction and a solution to a Paris-Wilkie open question
• The interpretation existence lemma
• The small-is-very-small principle
• The arithmetics of a theory
• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• Title not available (Why is that?)
• A generalization of the second incompleteness theorem and some exceptions to it
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Erratum to: ``How negative truths are made true
• Strange case of Dr. soundness and Mr. consistency
• Title not available (Why is that?)

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)