Uniform Unfolding and Analytic Measurability
Logic
2016-09-06 v1
Abstract
We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we develop the notion of strategic fusion and give a proof of a uniform unfolding theorem which allows us to reduce the proof of analytic measurability to the definition of a certain function.
Keywords
Cite
@article{arxiv.math/9606208,
title = {Uniform Unfolding and Analytic Measurability},
author = {Benedikt Loewe},
journal= {arXiv preprint arXiv:math/9606208},
year = {2016}
}