Search
Now showing items 1-1 of 1
Arithmetical realizations of modal formulas. Preliminary version.
(1996)
This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completeness theorems by Berarducci, Carlson, Shavrukov, and Solovay. Conditions are provided for recursively enumerable sets of ...