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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

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

Uniform unfolding and analytic measurability.Benedikt Löwe - 1998 - Archive for Mathematical Logic 37 (8):505-520.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Models of real-valued measurability.Sakae Fuchino, Noam Greenberg & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 142 (1):380-397.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
A formalism for some class of forcing notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Negation and BCK‐algebras.Francisco García Olmedo & Antonio Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Unsupported Boolean algebras and forcing.Miloš S. Kurilić - 2004 - Mathematical Logic Quarterly 50 (6):594-602.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Projective absoluteness for Sacks forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.

Analytics

Added to PP
2009-01-28

Downloads
77 (#212,532)

6 months
19 (#131,200)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Regularity properties on the generalized reals.Sy David Friedman, Yurii Khomskii & Vadim Kulikov - 2016 - Annals of Pure and Applied Logic 167 (4):408-430.
Forcing absoluteness and regularity properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
Between Polish and completely Baire.Andrea Medini & Lyubomyr Zdomskyy - 2015 - Archive for Mathematical Logic 54 (1-2):231-245.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.

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 7 references / Add more references