Use this URL to cite or link to this record in EThOS:
Title: Independence and conservativity results for intuitionistic set theory
Author: Chen, Ray-Ming
ISNI:       0000 0004 2698 0625
Awarding Body: University of Leeds
Current Institution: University of Leeds
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Rathjen, M. ; Wainer, S. Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available