首页 | 本学科首页   官方微博 | 高级检索  
     检索      


On a Spector Ultrapower for the Solovay Model
Authors:Vladimir Kanovei  Michiel van Lambalgen
Abstract:We prove that a Spector-like ultrapower extension ?? of a countable Solovay model ?? (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension ??a], where a is a random real over ??. The proof involves the Solovay almost everywhere uniformization technique.
Keywords:Ultrapowers without AC  Solovay model
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号