Faith \& falsity

DOI10.1016/J.APAL.2004.04.008zbMATH Open1065.03038OpenAlexW4212913921MaRDI QIDQ705533FDOQ705533

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

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

zbMATH Keywords

\(\Sigma\)-soundnessFaithful interpretationsRosser argumentsSequential theories

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (29)

• MÜNCHHAUSEN PROVABILITY
• Interpretability degrees of finitely axiomatized sequential theories
• Title not available (Why is that?)
• 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
• Minimal truth and interpretability
• Some observations on the FGH theorem
• Passive induction and a solution to a Paris-Wilkie open question
• 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
• Turing Jumps Through Provability
• Title not available (Why is that?)
• Pairs, sets and sequences in first-order theories
• 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
• Title not available (Why is that?)
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• The Henkin sentence
• No escape from Vardanyan's theorem
• Pour-El's landscape
• Self-reference in arithmetic. I
• Title not available (Why is that?)
• 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)