On a Spector Ultrapower for the Solovay Model

DOI10.1002/MALQ.19970430311MaRDI QIDQ4351928zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, Michiel van Lambalgen

Publication date 8 December 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9502205

zbMATH Keywords

axiom of choicerandom realaxiom of dependent choicecountable Solovay modelultrapowers of models of set theory

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Abstract: We prove that a Spector--like ultrapower extension $gN$ of a countable Solovay model $gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $gM[al]$ where $al$ is a random real over $gM.$ The proof involves an almost everywhere uniformization theorem in the Solovay model.

Recommendations

• Ultrapowers without the axiom of choice
• Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice
• Countable ultraproducts without CH
• Perfect-set properties in \(L(\mathbb{R})[U]\)

Cited in

(1)

• Countable ultraproducts without CH

This page was built for publication: On a Spector Ultrapower for the Solovay Model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351928)