ML-1995-03: Kanovei, Vladimir and van Lambalgen, Michiel (1995) On a Spector Ultrapower of the Solovay Model. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1995-03.text.ps.gz Download (81kB) |
|
Text (Abstract)
ML-1995-03.abstract.txt Download (434B) |
Abstract
We prove that a Spector-like ultrapower extension N of a countable Solovay
model M (where all sets of reals are Lebesgue measurable) is equal to the set
of all sets constructible from reals in a generic extension M[\alpha] where
\alpha is a random real over M. The proof involves an almost everywhere
uniformization theorem in the Solovay model.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1995-03 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1995 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1362 |
Actions (login required)
 |
View Item |
