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

DOI10.1007/BF01387407zbMATH Open0795.03080MaRDI QIDQ688510FDOQ688510

Authors: Albert Visser 

Publication date: 9 December 1993

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

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

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)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Cuts, consistency statements and interpretations
• Title not available (Why is that?)
• Existence and feasibility in arithmetic
• Title not available (Why is that?)
• The computational complexity of logical theories
• A note on proofs of falsehood
• Some Prime Elements in the Lattice of Interpretability Types

Cited In (21)

• Interpretability degrees of finitely axiomatized sequential theories
• Rules and arithmetics
• Faith \& falsity
• Finitely axiomatized theories lack self‐comprehension
• Transductions in arithmetic
• 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
• Incompleteness of boundedly axiomatizable theories
• Pairs, sets and sequences in first-order 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
• Title not available (Why is that?)
• Sufficient conditions for cut elimination with complexity analysis
• 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
• No escape from Vardanyan's theorem
• 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)