On a Spector ultrapower of the Solovay model
Logic
2018-08-22 v1
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 where is a random real over The proof involves an almost everywhere uniformization theorem in the Solovay model.
Cite
@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}
}