Friedman-reflexivity

DOI10.1016/j.apal.2022.103160OpenAlexW4283731321MaRDI QIDQ2159935

Albert Visser

Publication date: 2 August 2022

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.2022.103160

zbMATH Keywords

interpretabilityincompletenessconsistency statement

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The second incompleteness theorem and bounded interpretations
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Self-reference and modal logic
• On the scheme of induction for bounded arithmetic formulas
• On the proof of Solovay's theorem
• On \(\mathsf{Q}\)
• The predicative Frege hierarchy
• The arithmetics of a theory
• Extension and interpretability
• Vaught's Theorem on Axiomatizability by a Scheme
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Degrees of formal systems
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• Rosser sentences
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• The small‐is‐very‐small principle
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself
• The Interpretation Existence Lemma
• The Second Incompleteness Theorem: Reflections and Ruminations
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Axiomatizability by a schema
• Finitely axiomatized theories lack self‐comprehension

This page was built for publication: Friedman-reflexivity