Abstract
We analyze the structure of strongly dominating sets of reals introduced in Goldstern et al. (Proc Am Math Soc 123(5):1573–1581, 1995). We prove that for every \({\kappa < \mathfrak{b}}\) a \({\kappa}\) -Suslin set \({A\subseteq{}^\omega\omega}\) is strongly dominating if and only if A has a Laver perfect subset. We also investigate the structure of the class l of Baire sets for the Laver category base and compare the σ-ideal of sets which are not strongly dominating with the Laver ideal l 0.
Similar content being viewed by others
References
Bartoszyński T., Judah H.: Set Theory: On the Structure of the Real Line. A K Peters Ltd., Welleslay, Massachusetts (1995)
Brendle J., Hjorth G., Spinas O.: Regularity properties for dominating projective sets. Ann. Pure Appl. Log. 72, 291–307 (1995)
Goldstern M., Repický M., Shelah S., Spinas O.: On tree ideals. Proc. Am. Math. Soc. 123(5), 1573–1581 (1995)
Judah H., Miller A., Shelah S.: Sacks forcing, Laver forcing and Martin’s axiom. Arch. Math. Log. 31, 145–161 (1992)
Kechris A.S.: On a notion of smallness for subsets of the Baire space. Trans. Am. Math. Soc. 229, 191–207 (1977)
Kułaga W.: On fields and ideals connected with notions of forcing. Coll. Math. 105(2), 271–281 (2006)
Miller, A.W.: Hechler and Laver Trees, preprint. http://arxiv.org/abs/1204.5198
Morgan J.C. II: Point Set Theory. Dekker, New York (1990)
Moschovakis, Y.N.: Descriptive Set Theory, Mathematical Surveys and Monographs, 2nd edn., vol. 155. AMS, Providence, RI (2009)
Repický, M.: Bases of measurability in Boolean algebras. Math. Slovaca, to appear
Spinas O.: Dominating projective sets in the Baire space. Ann. Pure Appl. Log. 68, 327–342 (1994)
van Douwen E.K. : The integers and topology, chapter 3. In: Kunen, K., Vaughan, J.E. (eds) Handbook of Set-Theoretic Topology, pp. 111–167. North-Holland, Amsterdam (1984)
Zapletal J.: Isolating cardinal invariants. J. Math. Log. 3(1), 143–162 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author was supported by grant VEGA 1/0002/12 and the second author was supported by grants VEGA 1/0002/12 and APVV-0269-11.
Rights and permissions
About this article
Cite this article
Dečo, M., Repický, M. Strongly dominating sets of reals. Arch. Math. Logic 52, 827–846 (2013). https://doi.org/10.1007/s00153-013-0347-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0347-6
Keywords
- Strongly dominating sets
- Laver perfect sets
- \({\kappa}\) -Suslin sets
- Laver category base
- Domination game