ℙmax variations related to slaloms

Mathematical Logic Quarterly 52 (2):203-216 (2006)
  Copy   BIBTEX

Abstract

We prove the iteration lemmata, which are the key lemmata to show that extensions by Pmax variations satisfy absoluteness for Π2-statements in the structure 〈H , ∈, NSω 1, R 〉 for some set R of reals in L , for the following statements: The cofinality of the null ideal is ℵ1. There exists a good basis of the strong measure zero ideal

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200510028

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
Strong measure zero sets without Cohen reals.Martin Goldstern, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (4):1323-1341.
The cofinality of the strong measure zero ideal for κ inaccessible.Johannes Philipp Schürz - 2023 - Mathematical Logic Quarterly 69 (1):31-39.
The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
The cardinal coefficients of the Ideal $${{\mathcal {I}}_{f}}$$.Noboru Osuga & Shizuo Kamo - 2008 - Archive for Mathematical Logic 47 (7-8):653-671.
On effectively closed sets of effective strong measure zero.Kojiro Higuchi & Takayuki Kihara - 2014 - Annals of Pure and Applied Logic 165 (9):1445-1469.
Finite support iteration and strong measure zero sets.Janusz Pawlikowski - 1990 - Journal of Symbolic Logic 55 (2):674-677.
On ideals of subsets of the plane and on Cohen reals.Jacek Cichoń & Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (3):560-569.
More about the cofinality and the covering of the ideal of strong measure zero sets.Miguel A. Cardona & Diego A. Mejía - 2025 - Annals of Pure and Applied Logic 176 (4):103537.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,197,550)

6 months
3 (#1,479,050)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing Axioms and Ω-logic.Teruyuki Yorioka - 2009 - Journal of the Japan Association for Philosophy of Science 36 (2):45-52.

Add more citations

References found in this work

The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
An variation for one souslin tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
Saturation, Suslin trees and meager sets.Paul Larson - 2005 - Archive for Mathematical Logic 44 (5):581-595.
P-points in Qmax models.Q. Feng & W. H. Woodin - 2003 - Annals of Pure and Applied Logic 119 (1-3):121-190.

Add more references