ML-1995-03: On a Spector Ultrapower of the Solovay Model

ML-1995-03: Kanovei, Vladimir and van Lambalgen, Michiel (1995) On a Spector Ultrapower of the Solovay Model. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (81kB)
[thumbnail of Abstract] Text (Abstract)

Download (434B)


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

Actions (login required)

View Item View Item