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]

[img] Text (Full Text)

Download (81kB)
[img] 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