Sökning
Visas titlar 1-1 av 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 ...