On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic

This thesis investigates a first-order extension of GL called ML3. We briefly discuss the latters properties and some of its toolbox: some metatheorems, the conservation theorem, and its semantic completeness (with respect to finite reverse wellfounded Kripke models). Applying the Solovay technique to those models the thesis establishes its main result, namely, that ML3 is arithmetically complete. As expanded below, ML3 is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability having simulate the metamathematical classical is also arithmetically complete in the Solovay sense. We also carefully reconstruct the proof of Solovays Lemmata in our Appendixes, including a complete mathematically rigorous construction of his graph-walking function h.

Author dc:creator

• Hao, Yunge

Advisors dc:contributor.advisor

• Tourlakis, George
• Edmonds, Jeffrey

• Theoretical mathematics

Statement dc:rights

• Author owns copyright, except where explicitly noted. Please contact the author directly with licensing requests.

Language dc:language

en

Handle dc:identifier.uri

http://hdl.handle.net/10315/38649

OAI identifier oai:identifier

oai:yorkspace.library.yorku.ca:10315/38649