Logic Seminar
Iian Smythe
Rutgers University
Equivalence of generic reals.
Abstract: Given a countable transitive model of set theory and a notion of forcing in it, there is a natural countable Borel equivalence relation on generic objects over the model; two generics are equivalent if they yield the same generic extension. We study generic reals arising from familiar notions of forcing, e.g., Cohen and random forcing, under this equivalence relation and describe their relative complexity using the techniques of invariant descriptive set theory.
Tuesday February 26, 2019 at 1:00 PM in 427 SEO