关于Solovay模型的Spector超幂
On a Spector ultrapower of the Solovay model
摘要：
证明了可数Solovay模型$\gM$（其中所有实数集都是勒贝格可测的）的Spector-like超幂扩张$\gN$等于泛型扩张$\gM[\al]$中所有实数集的可构造集合，其中$\al$是$\gM.$上的随机实数。证明涉及Solovay模型中的几乎处处均匀化定理。
英文摘要：
We prove that a Spector--like ultrapower extension $\gN$ of a countable Solovay model $\gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $\gM[\al]$ where $\al$ is a random real over $\gM.$ The proof involves an almost everywhere uniformization theorem in the Solovay model.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
