Invited talk:

"Boolean valued sets as arbitrary objects"


Leon Horsten (University of Bristol)

This paper explores the connection between boolean-valued class models of set theory and the theory of arbitrary objects in Kit Fine’s sense of the word. In particular, I explore the hypothesis that the set theoretic universe as a whole can be seen as an arbitrary entity, which can in turn be taken to consist of arbitrary objects (arbitrary sets).

Date: Monday, July 29th