Another look at reflection

DOI10.1007/S10670-020-00363-9MaRDI QIDQ7228574zbMATH OpenFDO

Authors

Publication date 14 April 2026

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10670-020-00363-9

Mathematics Subject Classification ID

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

Cites work

• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• Arithmetical reflection and the provability of soundness
• Computational Structuralism†
• Disquotational truth and analyticity
• Existence and feasibility in arithmetic
• Gödel theorems for nonconstructive logics.
• Hilbert's program and the omega-rule
• scientific article; zbMATH DE number 3154788 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• Hypatia's silence: truth, justification, and entitlement
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Inexhaustibility: A non-exhaustive treatment
• Internal categoricity in arithmetic and set theory
• Mathematical thought and its objects
• Necessity predicates and operators
• Philosophy and model theory
• Reflecting on incompleteness
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Sur le platonisme dans les mathématiques.
• The nature of truth. Classic and contemporary perspectives
• THE POTENTIAL HIERARCHY OF SETS
• Transfinite recursive progressions of axiomatic theories
• Understanding the infinite

This page was built for publication: Another look at reflection

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