Visar nyckelord: "arithmetic"
Visas titlar 1-2 av 2
-
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 ... -
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
(2017-05-11)This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations ...