# Questions tagged [cardinal-characteristics]

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

45
questions

**5**

votes

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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 ...