Faith \& falsity
type: Item
instance of: scholarly article
title: Faith \& falsity
zbMATH Open document ID: 1065.03038
author: Albert Visser
published in: Annals of Pure and Applied Logic
publication date: 2005-01-31T00:00:00Z
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 2131593
zbMATH Keywords: Rosser arguments
zbMATH Keywords: Faithful interpretations
zbMATH Keywords: Sequential theories
zbMATH Keywords: \(\Sigma\)-soundness
MaRDI profile type: Publication
full work available at URL: j.apal.2004.04.008
OpenAlex ID: W4212913921
cites work: Q3794177
cites work: Computer Science Logic
cites work: Rosser sentences
cites work: Q5286672
cites work: Q5551141
cites work: A note on proofs of falsehood
cites work: Q4354788
cites work: Q4693151
cites work: A minimal predicative set theory
cites work: Cuts, consistency statements and interpretations
cites work: Fifty years of self-reference in arithmetic
cites work: Q3666845
cites work: Self-reference and modal logic
cites work: Modal analysis of generalized rosser sentences
cites work: Undecidable theories
cites work: A small reflection principle for bounded arithmetic
cites work: The formalization of interpretability
cites work: An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
cites work: The unprovability of small inconsistency. A study of local and global interpretability
cites work: Q4215610
cites work: Rules and arithmetics
cites work: On the scheme of induction for bounded arithmetic formulas
cites work: Q4761629
DOI: 10.1016/J.APAL.2004.04.008
description: scientific article; zbMATH DE number 2131593