Cuts, consistency statements and interpretations

Cites work

scientific article; zbMATH DE number 3241254 (Why is no real title available?)
Axiomatizability by a schema
Bounds for proof-search and speed-up in the predicate calculus
Fundamenta Mathematicae: An Examination of Its Founding and Significance
Gödel's Second incompleteness theorem for Q
Modal analysis of generalized rosser sentences
On certain lattices of degrees of interpretability
Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
Relative Interpretations

Cited in

(54)

The unprovability of small inconsistency. A study of local and global interpretability
A note on typed truth and consistency assertions
Interpretability degrees of finitely axiomatized sequential theories
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
Deflationary truth and the ontology of expressions
On the number of steps in proofs
On \(\mathsf{Q}\)
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
Sequence encoding without induction
Faith \& falsity
Rules and arithmetics
The formalization of interpretability
Transductions in arithmetic
Equational treatment of first-order logic
Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Sequential theories and infinite distributivity in the lattice of chapters
Friedman-reflexivity
On the provability logic of bounded arithmetic
The second incompleteness theorem and bounded interpretations
Current research on Gödel's incompleteness theorems
Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
Reflection algebras and conservation results for theories of iterated truth
Self-verifying axiom systems, the incompleteness theorem and related reflection principles
Passive induction and a solution to a Paris-Wilkie open question
Order types of models of fragments of Peano arithmetic
Recursive functions and existentially closed structures
The interpretation existence lemma
The small-is-very-small principle
The predicative Frege hierarchy
Pairs, sets and sequences in first-order theories
scientific article; zbMATH DE number 1303441 (Why is no real title available?)
On mathematical instrumentalism
Categorical characterizations of the natural numbers require primitive recursion
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
The arithmetics of a theory
A note on proofs of falsehood
The implicit commitment of arithmetical theories and its semantic core
A note on the interpretability logic of finitely axiomatized theories
The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
Herbrand consistency of some arithmetical theories
A generalization of the second incompleteness theorem and some exceptions to it
Truth and speed-up
2005 Annual Meeting of the Association for Symbolic Logic
Peano Corto and Peano Basso: a study of local induction in the context of weak theories
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
The logical strength of compositional principles
Bounded arithmetic, proof complexity and two papers of Parikh
A small reflection principle for bounded arithmetic
Another look at the second incompleteness theorem
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Consistency and the theory of truth
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

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

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