中科院数学与系统科学研究院
数学研究所
学术报告
数理逻辑研讨班
报告人：David Schrittesser（哈尔滨工业大学）
题 目：Projective measure without Projective Baire
时 间：2023.05.05（星期五）14:00-16:00
地 点：思源楼S803
摘 要：In this talk, I will give some of the context and a sketch of the proof of the following result which I proved a while ago: It is consistent (relative to a Mahlo catrdinal) that there is a projective set without the Baire property, yet every projective set is Lebesgue measurable. I will explain the history of the problem, some of the main difficulties encountered in the proof, as well as how they were solved. I will also comment on how this result is related to some open questions.
附件：