Faith \& falsity
From MaRDI portal
Publication:705533
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
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Δ0 + Ω1 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)