Solovay-Type Characterizations for Forcing-Algebras

&
Journal of Symbolic Logic 64 (3):1307-1323 (1999)
  Copy   BIBTEX

Abstract

We give characterizations for the sentences "Every $\Sigma^1_2$-set is measurable" and "Every $\Delta^1_2$-set is measurable" for various notions of measurability derived from well-known forcing partial orderings.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,945

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tree Forcing and Definable Maximal Independent Sets in Hypergraphs.Jonathan Schilhan - 2022 - Journal of Symbolic Logic 87 (4):1419-1458.
Projective absoluteness for Sacks forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
-Sets of reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636-642.
Uniform unfolding and analytic measurability.Benedikt Löwe - 1998 - Archive for Mathematical Logic 37 (8):505-520.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Large cardinals and projective sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Models of real-valued measurability.Sakae Fuchino, Noam Greenberg & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 142 (1):380-397.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.

Analytics

Added to PP
2009-01-28

Downloads
105 (#212,112)

6 months
22 (#138,742)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Benedikt Löwe
University of Amsterdam

Citations of this work

Forcing absoluteness and regularity properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
Regularity properties on the generalized reals.Sy David Friedman, Yurii Khomskii & Vadim Kulikov - 2016 - Annals of Pure and Applied Logic 167 (4):408-430.
Some considerations on amoeba forcing notions.Giorgio Laguzzi - 2014 - Archive for Mathematical Logic 53 (5-6):487-502.
Between Polish and completely Baire.Andrea Medini & Lyubomyr Zdomskyy - 2015 - Archive for Mathematical Logic 54 (1-2):231-245.

View all 17 citations / Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Combinatorial properties of Hechler forcing.Jörg Brendle, Haim Judah & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (3):185-199.
Regularity properties for dominating projective sets.Jörg Brendle, Greg Hjorth & Otmar Spinas - 1995 - Annals of Pure and Applied Logic 72 (3):291-307.

View all 6 references / Add more references