White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Independence and conservativity results for intuitionistic set theory

Chen, Ray-Ming (2010) Independence and conservativity results for intuitionistic set theory. PhD thesis, University of Leeds.

Available under License Creative Commons Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales.

Download (1242Kb)


There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with uniqueness condition, CT0!, and the general form of Church's thesis, CT0. The objective here is to extend Lifschitz' realizability to intuitionistic Zermelo-Fraenkel set theory with two sorts, IZFN. In addition to separating Church's thesis with uniqueness condition from its general form in intuitionistic set theory, I also obtain several interesting corollaries. The interpretation repudiates a weak form of countable choice, ACN2, asserting that every countable family of inhabited subsets of {0,1} has a choice function. The second part will be concerned with Constructive Zermelo-Fraenkel Set Theory and other intuitionistic set theories augmented by various principles, notably choice principles. It will be shown that the addition of these (choice) principles does not change the stock of provable arithmetical theorems. This type of conservativity result has its roots in a theorem of Goodman[9] who showed that Heyting arithmetic in all nite types augmented by the axiom of choice for all levels is conservative over HA. The technique I employ here to obtain such results for intuitionistic set theories, however, owes a lot to a paper by Beeson published in 1979. In [2] he showed how to construe Goodman's Theorem as the composition of two interpretations, namely relativized realizability and forcing. In this thesis, I adopt the same approach and employ it to a plethora of intuitionistic set theories.

Item Type: Thesis (PhD)
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds)
Depositing User: Ethos Import
Date Deposited: 31 Mar 2011 11:06
Last Modified: 07 Mar 2014 11:23
URI: http://etheses.whiterose.ac.uk/id/eprint/1439

Actions (repository staff only: login required)