Amoeba-absoluteness and projective measurability

DOI10.2307/2275143zbMATH Open0794.03062arXivmath/9209206OpenAlexW2021351615MaRDI QIDQ4283067FDOQ4283067

Authors: Jörg Brendle 

Publication date: 14 March 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We study the relationship between Amoeba forcing (the partial order which generically adds a measure one set of random reals) and projective measurability. Given a universe V of set theory and a forcing notion P in V we say that V is Sigma^1_n - P - absolute iff for every Sigma^1_n-sentence phi with parameters in V we have V models phi iff V^P models phi. We show that Sigma^1_4-Amoeba-absoluteness implies that forall a in omega^omega (omega_1^{L[a]} < omega_1^V), and hence Sigma^1_3-measurability. This answers a question of Haim Judah (private communication).

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

zbMATH Keywords

Amoeba-absolutenessprojective measurability

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Cites Work

• \(\Delta^ 1_ 2\)-sets of reals
• Combinatorial properties of Hechler forcing

Cited In (5)

• Forcing absoluteness and regularity properties
• Title not available (Why is that?)
• Uniformization and internal absoluteness
• Projective absoluteness for Sacks forcing
• Combinatorial properties of classical forcing notions

This page was built for publication: Amoeba-absoluteness and projective measurability

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