Resolvability in c.c.c. generic extensions.

DOI10.14712/1213-7243.2015.226MaRDI QIDQ4602525zbMATHOpenAlexFDO

Authors Adrienne Stanley, Lajos Soukup

Publication date 9 February 2018

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

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

IPFS 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)

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.

Recommendations

• Resolvability and monotone normality
• Every crowded pseudocompact ccc space is resolvable
• Resolvable, not maximally resolvable spaces
• Pseudocompactness and resolvability
• Baire irresolvable spaces with countable Souslin number

Cites work

• scientific article; zbMATH DE number 2185269 (Why is no real title available?)
• scientific article; zbMATH DE number 3992411 (Why is no real title available?)
• A problem of set-theoretic topology
• Baire irresolvable spaces with countable Souslin number
• Generalized metrizable spaces
• Maximal σ-independent families
• On \(\omega \)-resolvable and almost-\(\omega \)-resolvable spaces.
• On descendingly incomplete ultrafilters
• On the maximal resolvability of monotonically normal spaces
• Resolvability and monotone normality
• Sets of Points of Discontinuity

Cited in

(2)

• Every crowded pseudocompact ccc space is resolvable
• 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)