MoL-2015-09: Filtered Order-partial Combinatory Algebras and Classical Realizability

MoL-2015-09: Zou, Tingxiang (2015) Filtered Order-partial Combinatory Algebras and Classical Realizability. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (814kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (710B)


This thesis is mainly about classical realizability. We study a general construction of abstract Krivine structures from filtered order-partial combinatory algebras. This construction gives interesting models of classical realizability, in the sense that the corresponding Krivine toposes are not Grothendieck. From this construction, we also get a characterization of Krivine toposes among the class of realizability-related toposes. In addition, we generalize some important results about order-partial combinatory algebras to those of filtered order-partial combinatory algebras.

Item Type: Report
Report Nr: MoL-2015-09
Series Name: Master of Logic Thesis (MoL) Series
Year: 2015
Uncontrolled Keywords: logic, mathematics
Subjects: Logic
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item