Wednesday, May 6, 2015, 11:00
Prague – IM AS CR, Zitna 25, seminar room, front building, third floor
Speaker: Ali Enayat (University of Gothenburg)
Title: Leibnizian motives in set theory
Leibniz’principle of identity of indiscernibles appears rather unrelated to set theory, but Mycielski (1995) formulated a set-theoretic principle P that captures the spirit of Leibniz’s principle in the following sense: P holds in a model M of ZF iff M is elementarily equivalent to a model M* in which there are no indiscernibles. In this talk I will discuss my work on Mycielski’s principle, including its relationship to the axiom of choice, and its equivalence (over ZF) with the global versions of the Kinna-Wagner selection principles.