During these last 15 years, classical realizability has been created and developed in order to obtain programs from classical proofs in Analysis and set theory. But it appears now that it is also a genuinely new method to build models of ZF and prove relative consistency results in set theory, besides the well known techniques of inner models (constructibility) and forcing. In this talk, we give an example of a simple consistency result not previously obtained by forcing.

Room 005, School of Electrical and Computer Engineering, New Building (Νέο κτήριο Ηλεκτρολόγων), NTUA, Zografou Campus