Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 61, Issue 3 (1996), 788-801.
Reflecting in Epistemic Arithmetic
An epistemic formalization of arithmetic is constructed in which certain non-trivial metatheoretical inferences about the system itself can be made. These inferences involve the notion of provability in principle, and cannot be made in any consistent extensions of Stewart Shapiro's system of epistemic arithmetic. The system constructed in the paper can be given a modal-structural interpretation.
J. Symbolic Logic, Volume 61, Issue 3 (1996), 788-801.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Horsten, Leon. Reflecting in Epistemic Arithmetic. J. Symbolic Logic 61 (1996), no. 3, 788--801. https://projecteuclid.org/euclid.jsl/1183745077