关于 Solovay 模型的一个 Spector 超幂
逻辑
2018-08-22 v1
摘要
我们证明，可数 Solovay 模型 （其中所有实数集都是 Lebesgue 可测的）的一个类 Spector 超幂扩张 等于在 上的泛型扩张 中由实数可构造的所有集合的集合，其中 是 上的随机实数。证明涉及 Solovay 模型中的一个几乎处处均匀化定理。
引用
@article{arxiv.math/9502205,
title = {On a Spector ultrapower of the Solovay model},
author = {Vladimir Kanovei and Michiel van Lambalgen},
journal= {arXiv preprint arXiv:math/9502205},
year = {2018}
}