Date: Thursday, November 30, 2017
Location: 3096 East Hall (4:00 PM to 5:30 PM)
Title: Realvalued measurability and the extent of Lebesgue measure (II)
Abstract: On this second talk I begin with Solovay's characterization of realvalued measurability in terms of generic elementary embeddings, and build on results of Judah to prove that if there is an atomlessly measurable cardinal, then all (boldface) Delta13 sets of reals are Lebesgue measurable. This is optimal in two respects: Just from the existence of measurable cardinals we cannot prove that lightface Delta13 sets are measurable, and there are models with atomlessly measurable cardinals where there is a nonmeasurable Sigma13 set. I will also discuss some related results.
Files:
Speaker: Andres Caicedo
Institution: Math Reviews
Event Organizer: David Fernandez Breton logiclist@umich.edu
