1996/06/19 by Benedikt Loewe, Loewe, Benedikt
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.math/9606208
openalex publication_date 1996/06/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.