The unprovability of small inconsistency. A study of local and global interpretability

DOI10.1007/BF01387407MaRDI QIDQ688510zbMATH OpenFDO

Authors Albert Visser

Publication date 9 December 1993

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

interpretabilityinconsistencylength of prooffinitely axiomatized theorysequential theoryTunneling Theorem

Mathematics Subject Classification ID

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

Recommendations

• A note on proofs of falsehood
• scientific article; zbMATH DE number 3974958
• Short proofs for slow consistency
• Can we make the second incompleteness theorem coordinate free?
• Interpretability of various extensions of arithmetic

Cites work

• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• A note on proofs of falsehood
• Cuts, consistency statements and interpretations
• Existence and feasibility in arithmetic
• On the scheme of induction for bounded arithmetic formulas
• Some Prime Elements in the Lattice of Interpretability Types
• The computational complexity of logical theories

Cited in

(21)

• Interpretability degrees of finitely axiomatized sequential theories
• Faith \& falsity
• Rules and arithmetics
• Transductions in arithmetic
• Finitely axiomatized theories lack self‐comprehension
• Friedman-reflexivity
• 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
• The interpretation existence lemma
• The small-is-very-small principle
• Pairs, sets and sequences in first-order theories
• Incompleteness of boundedly axiomatizable theories
• The arithmetics of a theory
• A note on proofs of falsehood
• 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 3974958 (Why is no real title available?)
• Sufficient conditions for cut elimination with complexity analysis
• A generalization of the second incompleteness theorem and some exceptions to it
• No escape from Vardanyan's theorem
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• The role of quantifier alternations in cut elimination

This page was built for publication: The unprovability of small inconsistency. A study of local and global interpretability

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