{"id":{"repo_id":"york","oai_identifier":"oai:yorkspace.library.yorku.ca:10315/38649"},"canonical_url":"https://search.dev.ndltd.org/etd/york/oai:yorkspace.library.yorku.ca:10315/38649","repository":{"repo_id":"york","name":"York University","base_url":"https://yorkspace.library.yorku.ca/oai/request"},"display":{"title":"On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Hao, Yunge"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Tourlakis, George","Edmonds, Jeffrey"],"committee_chairs":[],"committee_members":[],"year":2021,"date_issued":"2021-11-15","date_published":"2021-11-15","updated_at":"2026-07-24T06:34:05Z","subjects":["Theoretical mathematics"],"languages":["en"],"rights":["Author owns copyright, except where explicitly noted. Please contact the author directly with licensing requests."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/10315/38649","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Tourlakis, George","Edmonds, Jeffrey"]},{"key":"dc:creator","label":"Author","values":["Hao, Yunge"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2021-11-15T15:17:05Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2021-11-15T15:17:05Z"]},{"key":"dc:date.issued","label":"Date","values":["2021-11-15"]},{"key":"dc:type","label":"Dc Type","values":["Electronic Thesis or Dissertation"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Theoretical mathematics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Author owns copyright, except where explicitly noted. Please contact the author directly with licensing requests."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10315/38649"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic"]}]}],"canonical_facts":{"dc:contributor.advisor":["Tourlakis, George","Edmonds, Jeffrey"],"dc:creator":["Hao, Yunge"],"dc:date.accessioned":["2021-11-15T15:17:05Z"],"dc:date.available":["2021-11-15T15:17:05Z"],"dc:date.issued":["2021-11-15"],"dc:description.abstract":["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."],"dc:identifier.uri":["http://hdl.handle.net/10315/38649"],"dc:language":["en"],"dc:rights":["Author owns copyright, except where explicitly noted. Please contact the author directly with licensing requests."],"dc:subject":["Theoretical mathematics"],"dc:title":["On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic"],"dc:type":["Electronic Thesis or Dissertation"]},"updated_at":"2026-07-24T06:34:05Z"}