Questions tagged [cardinal-characteristics]

For questions about various cardinal invariants, cardinal characteristics of the continuum and related topics.

Filter by
Sorted by
Tagged with
5
votes
0answers
137 views

The list reaping number?

My question is inspired by a question of Dominic van der Zypen. Let $[\omega]^\omega$ denote the set of all infinite subsets of $\omega$. The reaping number, denoted by $\mathfrak r$, is the minimum ...
4
votes
1answer
158 views

A sequence of cardinal characteristics constructed with hypergraph coloring

Let $[\omega]^\omega$ denote the collection of infinite subsets of $\omega$. A hypergraph $H=(V,E)$ consists of a set $V$ and a collection of subsets $E \subseteq {\cal P}(V)$. A coloring is a map $c: ...
2
votes
0answers
136 views

What is the smallest number of nowhere dense affine subsets covering a topological group?

$\DeclareMathOperator\cov{cov}\newcommand\A{\text A}$A subset $A$ of a group $G$ is called affine if $A=xHy$ for some subgroup $H\subseteq G$ and some $x,y\in G$. Given a non-discrete topological ...
5
votes
0answers
102 views

Two cardinal characteristics of the continuum, related to the Bohr topology on integers

For a subset $A\subseteq\mathbb T$ of the unit circle $\mathbb T=\{z\in\mathbb C:|z|=1\}$, let $\tau_A$ be the smallest topology on the additive group of integers $\mathbb Z$ such that for every $z\in ...
2
votes
1answer
127 views

Upper bound for constructibility orders of elements of the continuum

In a constructible universe (ZFC + V=L), is there any known upper bound for the constructibility orders of all elements of the continuum, i.e. some separately described ordinal $\alpha$ such that we ...
9
votes
2answers
252 views

Is there a condensation from $\aleph_1^{\aleph_0}$ onto a metrizable compact space?

Is there a condensation (continuous bijective mapping) from $D^{\aleph_0}$ onto a metrizable compact space ? $D$ - discrete space of cardinality $\aleph_1$. CH implies it is a positive answer. In ...
0
votes
0answers
91 views

Cardinality of the closure of subset of a dense subset

Is the following true? Given a first countable Hausdorff space $X$ and a dense subset $Y\subset X$ which is initially $2^\omega$-initially Lindelöf in $X$. Let $F$ be a subset of $Y$ such that $\vert ...
5
votes
0answers
143 views

Selecting an almost disjoint family in a given family of sets

A family $\mathcal A$ of infinite subsets of $\omega$ is called almost disjoint if for any distinct sets $A,B\in\mathcal A$ the intersection $A\cap B$ is finite. Let $\mathfrak a'$ be the largest ...
2
votes
1answer
91 views

What is the smallest cardinality of a base of an ultrafilter on $\omega$ related to an almost disjoint family of cardinality $\mathfrak c$?

Let $(A_\alpha)_{\alpha\in\mathfrak c}$ be an almost disjoint family of infinite subsets of $\omega$. The almost disjointness of the family means that $A_\alpha\cap A_\beta$ is finite for any ordinals ...
4
votes
1answer
147 views

What is the smallest cardinality of a maximal ultrafamily of infinite subsets of $\omega$?

A family $\mathcal U$ of infinite subsets of $\omega$ is called an ultrafamily if for any sets $U,V\in\mathcal U$ one of the sets $U\setminus V$, $U\cap V$ or $V\setminus U$ is finite. By the ...
2
votes
0answers
213 views

Cardinal numbers and the Bolzano-Weierstrass theorem

Let $\kappa$ be a cardinal number, define $\textsf{M}(\kappa)$ and $\textsf{BW}(\kappa)$ as follows: $\textsf{M}(\kappa)$ : For every sequence $(f_{n}:\kappa\to \mathbb{R})_{n\in\mathbb{N}}$ of real-...
6
votes
0answers
193 views

Influence of cardinal characteristics on nonstandard analysis?

As I understand, nonstandard analysis usually proceeds by taking a ultrapower of the universe by some nonprincipal ultrafilter on $\mathbb N$. There are continuum many “integers” of this model, but ...
5
votes
0answers
124 views

Strong chains of uncountable functions and cardinal characteristics

A family of functions $\langle f_\alpha:\alpha<\kappa\rangle$ from $\omega_1$ to $\omega_1$ is called a strong chain if $\alpha<\beta<\kappa\Longrightarrow \{\xi<\omega_1: f_\beta(\xi)\leq ...
11
votes
1answer
629 views

Is $\mathfrak j_{2:1}=\mathfrak{j}_{2:2}$ in ZFC?

A function $f:\omega\to\omega$ is called $\bullet$ 2-to-1 if $|f^{-1}(y)|\le 2$ for any $y\in\omega$; $\bullet$ almost injective if the set $\{y\in \omega:|f^{-1}(y)|>1\}$ is finite. Let us ...
5
votes
1answer
306 views

Calculate the $\downarrow$, $\downarrow\uparrow$ and $\uparrow\downarrow$ cofinalities of the poset of nontrivial finitary partitions of $\omega$

Let $(P,\le)$ be a poset. For a point $x\in P$ let $${\downarrow}x=\{p\in P:p\le x\}\quad\text{and}\quad{\uparrow}x=\{p\in P:x\le p\}$$be the lower and upper sets of the point $x$, and for a subset $...
7
votes
1answer
241 views

Pseudo-intersections, splitting families, and ultrafilters

Suppose $U$ is a non-principal ultrafilter on $\omega$, and let us define $\tau(U)$ to be the minimum cardinality of a family $\mathcal{X}\subseteq U$ such that $\mathcal{X}$ does not have an infinite ...
1
vote
1answer
93 views

Bounding and dominating numbers for preordering $\leq^*$ on bijections $f:\omega\to\omega$

For functions $f, g:\omega\to\omega$ we write $f \leq^* g$ if $\{x\in\omega: f(x)> g(x)\}$ is finite. Let $S_\omega$ denote the collection of bijections $\varphi:\omega\to\omega$ Similarly to the ...
7
votes
1answer
150 views

Bounding and domination numbers for relation $\leq$ modulo $\omega$-nullsets

We say that $A\subseteq \omega$ is a nullset if $$\lim\sup_{n\to \infty} \frac{|A\cap n|}{n+1} = 0.$$ Let $\omega^\omega$ denote the set of functions $f:\omega\to\omega$. We define a pre-ordering ...
1
vote
1answer
76 views

Thinning directed sets ${\frak P}$ of partitions of $\omega$ with no ${\frak P}$-discrete subsets

This question branches from Taras Banakh's recent question on a cardinal characteristic connected to families of partitions that are directed in the ordering of partition refinement. A partition $\...
6
votes
1answer
230 views

A question on simple $P_{\aleph_2}$-points

This question is motivated by discussion surrounding this MO question. An ultrafilter $U$ on $\omega$ is a simple $P_{\aleph_2}$-point if it is generated by a sequence $\langle X_\alpha:\alpha<\...
11
votes
1answer
575 views

A new cardinal characteristic (related to partitions)?

In this post I will discuss some cardinal characteristic of the continuum, related to partitions of $\omega$ and would like to know if it is equal to some known cardinal characteristic. By a partition ...
2
votes
1answer
78 views

Is $\mathfrak p=\omega_1$ equivalent to the existence of a Hausdorff gap without infinite pseudointersection?

Given two set $A,B$ we write $A\subset^* B$ if the complement $A\setminus B$ is infinite. A Hausdorff gap is a transfinite family $\langle A_\alpha,B_\alpha\rangle_{\alpha\in\omega_1}$ of infinite ...
6
votes
1answer
168 views

Self-embeddings of uncountable total orders, 2

Let $S = (\Omega,\leq)$ be an uncountable dense total order, such that for all positive integers $m$ and all finite ordered sequences $a_1 < a_2 < \ldots < a_m$ and $b_1 < b_2 < \ldots &...
1
vote
0answers
143 views

Negation of cardinal characteristics

Looking over the various cardinal characteristics of the continuum all of them are defined by a sentence of the form: "$\mathfrak{x}$ is the least cardinality of a subset of $\omega^\omega$ that $\...
5
votes
1answer
190 views

Relationship between “infinitely unequal” and “eventually different”

Suppose that $\kappa$ has the property that for every family $A\subseteq\omega^{\omega}$, if $|A|<\kappa$, then there exists some $g\in\omega^{\omega}$ such that for any $f\in A, \exists^{\infty}n\;...
4
votes
1answer
355 views

Smallest size of a non-measurable set of reals

The question is pretty much the title. I'm wondering if anything is known about the smallest size $\kappa$ of a non-measurable subset of the real numbers (regarding the Lebesgue measure). Since we ...
3
votes
2answers
229 views

How to increase unbounding and dominating numbers for $(\kappa^\lambda,\leq^*)$

Let $\kappa$ be regular and $\lambda\geq\kappa$. For $f, g\in\kappa^\lambda$ say that $f\le^* g$ if the set $\{\gamma<\lambda:f(\gamma)>g(\gamma)\}$ has size less than $\kappa$. Set $\mathfrak{...
9
votes
1answer
279 views

Effect of adding one Hechler real versus adding two on the meager ideal

In "The Kunen-Miller Chart (Lebesgue Measure, The Baire Property, Laver Reals and Preservation Theorems for Forcing)" by Haim Judah and Saharon Shelah JSL Vol. 55, No. 3 (Sep., 1990), pp. 909-927 ([...
12
votes
1answer
280 views

A simple cardinal characteristic associated with $\omega^\omega$

We can define a very simple cardinal characteristic in the following way. Recall the relation $\leq^*$ on $\omega^\omega$ defined by $x\leq^* y$ iff $x(i)\leq y(i)$ for all but finitely many $i$. For $...
6
votes
1answer
564 views

What if $\mathbb{R}$ is in bijection with the cardinals less than $\frak{c}$?

I was wondering whether it is consistent to have $\frak{c} = \aleph_{\frak{c}}$ where $\frak{c} = 2^{\aleph_0}$ is the cardinality of the reals (over ZFC). If so, what interesting consequences of this ...
7
votes
1answer
219 views

What's the minimal weight of a maximal space?

A non-empty topological space without isolated points is called maximal if every finer topology on that space has at least an isolated point. The existence of a (Hausdorff) maximal space is a simple ...
8
votes
2answers
321 views

Relations between two tower numbers

A tower is a subset $T\subset [\omega]^\omega$ of the family $[\omega]^\omega$ of all infinite subsets of $\omega$ such that $T$ is well-ordered by the relation $\supset^*$ of almost inclusion and has ...
2
votes
0answers
115 views

Two small uncountable cardinals related to Q-sets

A subset $A$ of the real line is called a Q-set if any subset of of $A$ is of type $F_\sigma$ in $A$. Let $\mathfrak q_0$ be the smallest cardinality of a subset $X\subset\mathbb R$ which is not a Q-...
9
votes
2answers
425 views

Small uncountable cardinals related to $\sigma$-continuity

A function $f:X\to Y$ is defined to be $\sigma$-continuous (resp. $\bar \sigma$-continuous) if there exists a countable (closed) cover $\mathcal C$ of $X$ such that the restriction $f{\restriction}C$ ...
5
votes
1answer
430 views

Base zero-dimensional spaces

Definition. A zero-dimensional topological space $X$ is called base zero-dimensional if for any base $\mathcal B$ of the topology that consists of closed-and-open sets in $X$, any open cover $\mathcal ...
10
votes
0answers
451 views

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$? Here $\mathfrak p$, $\mathfrak b$, $\mathfrak q$ are small uncountable cardinals: $\mathfrak p$ is the ...
11
votes
1answer
412 views

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior?

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior? The answer is obviously yes assuming the continuum hypothesis. Also, by Baire's lemma, the answer is negative if one ...
15
votes
2answers
943 views

Brief history of cardinal characteristics of the continuum

Cardinal characteristics of the continuum (CCC) are cardinals which are associated with naturally arising combinatorial properties of "the continuum". The reason that "the continuum" is qualified, ...
14
votes
0answers
512 views

Small cardinals related to topological convergence

Recall that a topological space is called sequential if a set is closed if and only if it contains all limits of convergent sequences lying inside of it. A space $X$ is called Frechet if for every non-...
30
votes
2answers
1k views

Are the Sierpiński cardinal $\acute{\mathfrak n}$ and its measure modification $\acute{\mathfrak m}$ equal to some known small uncountable cardinals?

This question was motivated by an answer to this question of Dominic van der Zypen. It relates to the following classical theorem of Sierpiński. Theorem (Sierpiński, 1921). For any countable partition ...
11
votes
2answers
411 views

The “strong” measure number

Beyond measure zero we have yet another measure-y notion of smallness: strong measure zero. A set $S\subseteq\mathbb{R}$ is strong measure zero if, for any $f:\mathbb{N}\rightarrow\mathbb{R}_{>0}$, ...
32
votes
1answer
2k views

Bidi: A new cardinal characteristic of the continuum?

This question assumes familiarity with combinatorial cardinal characteristics of the continuum. Identify an infinite set $a\subseteq\mathbb{N}$ with its increasing enumeration. Thus, for each natural ...
23
votes
1answer
2k views

Short proof of $\frak p=t$

It is known for a while now that $\frak p=t$, as a result of Malliaris-Shelah. The original paper draws from model theoretic methods. I've heard rumors that there was a proof which was purely set ...
13
votes
2answers
838 views

Consistency Results Separating Three Cardinal Characteristics Simultaneously

(For information on cardinal characteristics of the continuum aka cardinal invariants see Joel David Hamkins' MO answer here; Andreas Blass's handbook article is an excellent reference.) Problem 2.3 ...
5
votes
2answers
1k views

Improvements of the Baire Category Theorem under (not CH)?

The Baire category theorem implies that a nonempty complete metric space without isolated points must be uncountable. In many situations I have encountered, the "natural examples" of complete metric ...