Faith \& falsity

DOI10.1016/J.APAL.2004.04.008MaRDI QIDQ705533zbMATH OpenOpenAlexFDO

Authors Albert Visser

Publication date 31 January 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2004.04.008

zbMATH Keywords

\(\Sigma\)-soundnessFaithful interpretationsRosser argumentsSequential theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Recommendations

• scientific article; zbMATH DE number 3957096
• scientific article; zbMATH DE number 7307078
• Minimal truth and interpretability
• Friedman-reflexivity
• scientific article; zbMATH DE number 3892594

Cites work

• scientific article; zbMATH DE number 3819711 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 1567806 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• A minimal predicative set theory
• A note on proofs of falsehood
• A small reflection principle for bounded arithmetic
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Computer Science Logic
• Cuts, consistency statements and interpretations
• Fifty years of self-reference in arithmetic
• Modal analysis of generalized rosser sentences
• On the scheme of induction for bounded arithmetic formulas
• Rosser sentences
• Rules and arithmetics
• Self-reference and modal logic
• The formalization of interpretability
• The unprovability of small inconsistency. A study of local and global interpretability
• Undecidable theories

Cited in

(29)

• MÜNCHHAUSEN PROVABILITY
• Interpretability degrees of finitely axiomatized sequential theories
• scientific article; zbMATH DE number 5589272 (Why is no real title available?)
• Predicate Logics of Constructive Arithmetical Theories
• Provability logics relative to a fixed extension of Peano arithmetic
• 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
• Passive induction and a solution to a Paris-Wilkie open question
• Minimal truth and interpretability
• Some observations on the FGH theorem
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Neo-Logicism and Its Logic
• The interpretation existence lemma
• The small-is-very-small principle
• Pairs, sets and sequences in first-order theories
• Turing Jumps Through Provability
• scientific article; zbMATH DE number 3557731 (Why is no real title available?)
• 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
• A generalization of the second incompleteness theorem and some exceptions to it
• scientific article; zbMATH DE number 998055 (Why is no real title available?)
• The Henkin sentence
• No escape from Vardanyan's theorem
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Pour-El's landscape
• Self-reference in arithmetic. I
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• Another look at the second incompleteness theorem

This page was built for publication: Faith \& falsity

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