ℙmax variations related to slaloms |
| |
Authors: | Teruyuki Yorioka |
| |
Institution: | Department of Computer and Systems Engineering, Kobe University, Rokkodai, Nada-ku, Kobe, 657-8501, Japan |
| |
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 (ω 2), ∈, NSω 1, R 〉 for some set R of reals in L (ℝ), for the following statements: (1) The cofinality of the null ideal is ℵ1. (2) There exists a good basis of the strong measure zero ideal. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | Pmax and its variations Π 2‐compactness slaloms strong measure zero sets |
|
|