The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).
faculty: "FNWI" and publication year: "2008"
| Author||Thomas Icard|
|Title||Models of the Polymodal Provability Logic|
|Faculty||Faculty of Science|
|Institute/dept.||FNWI/FGw: Institute for Logic, Language and Computation (ILLC)|
|Series||ILLC Master of Logic Theses / ILLC ; MoL-2008-06|
|Abstract||Models of the Polymodal Provability Logic
This thesis on the polymodal provability logic GLP is divides into
three main sections. In the first section, we investigate relational
models of GLP. After presenting a simplified treatment of
Beklemishev's blow-up model construction, we exploit completeness for
such models to obtain a new, purely semantic proof that GLP_0, the
closed fragment of GLP, is complete with respect to Ignatiev's frame
U. Following this, we investigate formula definable subsets of U in
anticipation of our work in the next two sections.
In the second section, we explore the connection between U and the
canonical frame of GLP_0. Using the theory of descriptive frames, we
extend U to a frame that is isomorphic to the canonical frame, thus
obtaining a detailed definition of this object in terms of a
coordinate system developed in the first section.
Finally, in the last section, we explore topological models of
GLP. The central result of this section is an analog of the
Abashidze-Blass Theorem for GL, to the effect that GLP_0 enjoys
topological completeness with respect to a simply defined polytopology
on the ordinal epsilon_0 +1. This space can be seen as a condensed,
and much simplified, version of the canonical frame of GLP_0. We then
consider the possibility of an extension of this theorem to full
GLP. However, such an extension would require large cardinal
assumptions beyond ZFC, so we leave this further question for future
All of this work can be seen as an effort to overcome (and better
explain) the fact that GLP is frame incomplete.|
Use this url to link to this page: http://dare.uva.nl/en/record/419950
Contact us about this recordNotify a colleague
Add to bookbag