𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a Spector Ultrapower for the Solovay Model

✍ Scribed by Vladimir Kanovei; Michiel van Lambalgen

Book ID
102487566
Publisher
John Wiley and Sons
Year
1997
Tongue
English
Weight
428 KB
Volume
43
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 𝔐[a], where a is a random real over 𝔐. The proof involves the Solovay almost everywhere uniformization technique.

πŸ“œ SIMILAR VOLUMES

A theorem on ROD-hypersmooth equivalence
A theorem on ROD-hypersmooth equivalence relations in the Solovay model
✍ Vladimir Kanovei; Michael Reeken πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 160 KB πŸ‘ 1 views

## Abstract It is known that every Borel hypersmooth but non‐smooth equivalence relation is Borel bi‐reducible to E~1~. We prove a ROD version of this result in the Solovay model.

On a Primality Test of Solovay and Stras
On a Primality Test of Solovay and Strassen
✍ Atkin, A. O. L.; Larson, R. G. πŸ“‚ Article πŸ“… 1982 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 306 KB