Cuts, consistency statements and interpretations

DOI10.2307/2274231zbMath0569.03024OpenAlexW2169685450WikidataQ57310302 ScholiaQ57310302MaRDI QIDQ3686709

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274231

zbMATH Keywords

consistency interpretability length of proofs Gödel's second theorem finitely axiomatized theories

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Related Items

Reflection algebras and conservation results for theories of iterated truth ⋮ Sequence encoding without induction ⋮ How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q ⋮ Equational treatment of first-order logic ⋮ Herbrand consistency of some arithmetical theories ⋮ Friedman-reflexivity ⋮ CONSISTENCY AND THE THEORY OF TRUTH ⋮ Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic ⋮ On the number of steps in proofs ⋮ ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC ⋮ TRUTH AND SPEED-UP ⋮ Passive induction and a solution to a Paris-Wilkie open question ⋮ A small reflection principle for bounded arithmetic ⋮ SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ A note on proofs of falsehood ⋮ The small‐is‐very‐small principle ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW ⋮ Transductions in arithmetic ⋮ On \(\mathsf{Q}\) ⋮ Recursive functions and existentially closed structures ⋮ The logical strength of compositional principles ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ The second incompleteness theorem and bounded interpretations ⋮ Categorical characterizations of the natural numbers require primitive recursion ⋮ The formalization of interpretability ⋮ A note on the interpretability logic of finitely axiomatized theories ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Pairs, sets and sequences in first-order theories ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Deflationary truth and the ontology of expressions ⋮ On mathematical instrumentalism ⋮ Self-verifying axiom systems, the incompleteness theorem and related reflection principles ⋮ On the provability logic of bounded arithmetic ⋮ Sequential theories and infinite distributivity in the lattice of chapters ⋮ 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 ⋮ Rules and arithmetics ⋮ Faith \& falsity ⋮ Fragment of Nonstandard Analysis with a Finitary Consistency Proof ⋮ The predicative Frege hierarchy ⋮ 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 ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ The Interpretation Existence Lemma ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency ⋮ On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency ⋮ Bounded arithmetic, proof complexity and two papers of Parikh ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ The arithmetics of a theory ⋮ A note on typed truth and consistency assertions

Cites Work

This page was built for publication: Cuts, consistency statements and interpretations