Publication:2159935

DOI10.1016/J.APAL.2022.103160OpenAlexW4283731321MaRDI QIDQ2159935FDOQ2159935

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

interpretabilityconsistency statementincompleteness

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

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

Cited In (2)

• Reflexivity in economics. An experimental examination on the self-referentiality of economic theories
• Essential hereditary undecidability

Recommendations

• A characterization of reflexivity 👍 👎
• A note on reflexivity 👍 👎
• Asymptotic reflexivity 👍 👎
• Friedman's thesis 👍 👎
• A NEW CHARACTERIZATION OF REFLEXIVITY 👍 👎
• A reflexivity criterion 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Friedman-reflexivity

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