Resolvability in c.c.c. generic extensions

DOI10.14712/1213-7243.2015.226zbMATH Open1463.54019arXiv1702.00326OpenAlexW2584836791MaRDI QIDQ4602525FDOQ4602525

Adrienne Stanley, Lajos Soukup

Publication date: 9 February 2018

Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Abstract: Every crowded space $X$ is $omega$-resolvable in the c.c.c generic extension $V^{Fn(|X|,2})$ of the ground model. We investigate what we can say about $lambda$-resolvability in c.c.c-generic extensions for $lambda>omega$? A topological space is "monotonically $omeg{a}_1$-resolvable" if there is a function $f:Xoomeg{a}_1$ such that ${\displaystyle }${xin X: f(x)ge {alpha} }subset^{dense}X ${\displaystyle }$ for each $alpha<omeg{a}_1$. We show that given a $T_1$ space $X$ the following statements are equivalent: (1) $X$ is ${omega}_1$-resolvable in some c.c.c-generic extension, (2) $X$ is monotonically $omeg{a}_1$-resolvable. (3) $X$ is ${omega}_1$-resolvable in the Cohen-generic extension $V^{Fn(omeg{a}_1,2)}$. We investigate which spaces are monotonically $omeg{a}_1$-resolvable. We show that if a topological space $X$ is c.c.c, and ${omega}_{1}leDelta(X)le|X|<{omega}_{omega}$, then $X$ is monotonically $omeg{a}_1$-resolvable. On the other hand, it is also consistent, modulo the existence of a measurable cardinal, that there is a space $Y$ with $|Y|=Delta(Y)=alep{h}_{o}mega$ which is not monotonically $omeg{a}_1$-resolvable. The characterization of $omeg{a}_1$-resolvability in c.c.c generic extension raises the following question: is it true that crowded spaces from the ground model are $omega$-resolvable in $V^{Fn(omega,2)}$? We show that (i) if $V=L$ then every crowded c.c.c. space $X$ is $omega$-resolvable in $V^{Fn(omega,2)}$, (ii) if there is no weakly inaccesssible cardinals, then every crowded space $X$ is $omega$-resolvable in $V^{Fn({omega}_1,2)}$. On the other hand, it is also consistent that there is a crowded space $X$ with $|X|=Delta(X)=omeg{a}_1$ such that $X$ remains irresolvable after adding a single Cohen real.

Full work available at URL: https://arxiv.org/abs/1702.00326

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

resolvablemeasurable cardinalmonotonically \(\omega_1\)-resolvable

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sets of Points of Discontinuity
• A problem of set-theoretic topology
• Maximal σ-independent families
• On descendingly incomplete ultrafilters
• Resolvability and monotone normality
• Generalized metrizable spaces
• On the maximal resolvability of monotonically normal spaces
• Baire irresolvable spaces with countable Souslin number

Cited In (1)

• On resolvability of products

This page was built for publication: Resolvability in c.c.c. generic extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4602525)