MoL201410: Ilin, Julia (2014) An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis. [Report]

Text (Full Text)
MoL201410.text.pdf Download (816kB)  Preview 

Text (Abstract)
MoL201410.abstract.txt Download (1kB) 
Abstract
This thesis is concerned with the area of algebraic set theory. Algebraic set theory was invented by Joyal and Moerdijk [18] with the aim to study set theory from the perspective of category theory. The central notion is a category of classes, given by a triple (E, S, P_s ), consisting of a Heyting pretopos E, a particular class S of arrows of E that are called small maps and an endofunctor P_s : E → E. The small maps provide an abstract notion of smallness on E, whereas the endofunctor P_s should be thought of as generalized powerclass functor. Universes of set theory arise as initial algebras for this functor. The main goal of this thesis is prove that Cohen’s model negating the continuum hypothesis can be recovered in the algebraic set theory framework. Cohen’s model has already been examined in the filed of topos theory by Tierney. It will be shown that Tierney’s proof translates to the algebraic set theory setting.
Item Type:  Report 

Report Nr:  MoL201410 
Series Name:  Master of Logic Thesis (MoL) Series 
Year:  2014 
Uncontrolled Keywords:  logic, mathematics 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:38 
Last Modified:  12 Oct 2016 14:38 
URI:  https://eprints.illc.uva.nl/id/eprint/928 
Actions (login required)
View Item 