Reflecting in Epistemic Arithmetic
Horsten, Leon
J. Symbolic Logic, Tome 61 (1996) no. 1, p. 788-801 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1996-09-14
Classification:  
@article{1183745077,
     author = {Horsten, Leon},
     title = {Reflecting in Epistemic Arithmetic},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 788-801},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745077}
}

Horsten, Leon. Reflecting in Epistemic Arithmetic. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  788-801. http://gdmltest.u-ga.fr/item/1183745077/