Families of sets related to Rosenthal's lemma
A matrix of non-negative reals $\langle m^k_n:n,k\in\omega\rangle$ is said to be a Rosenthal matrix, if $\sum_{n\in\omega}m^k_n\le1$ for every $k\in\omega$. A family $\mathcal{F}\subseteq[\omega]^\omega$ is called Rosenthal if for every Rosenthal matrix $\langle m^k_n:n,k\in\omega\rangle$ and every $\varepsilon>0$ there exists $A\in\mathcal{F}$ such that for every $k\in\omega$, $\sum_{n\in A\setminus\{k\}}m^k_n<\varepsilon$. This notion was obtained by analysing the proof of Rosenthal's lemma setting $m^k_n=\mu_k(a_n)$ for an antichain $\langle a_n:n\in\omega\rangle$ and a bounded sequence of finitely additive non-negative measures $\langle\mu_k:k\in\omega\rangle$ in an arbitrary Boolean algebra. In this setting, Rosenthal's lemma states that $[\omega]^\omega$ is a Rosenthal family. The paper under the review solves the question whether a given family $\mathcal{F}$ is a Rosenthal family. The author proves the following results: The cardinality of a Rosenthal family cannot be less than the covering of the category $\text{cov}(\mathcal{M})$ and every base of a selective ultrafilter is a Rosenthal family. Under Martin's axiom for $\sigma$-centered partially ordered sets there exists a non-selective ultrafilter which is a Rosenthal family (in fact it is a P-point that is not a Q-point). The iterated Sacks forcing of length $\omega_2$ provides a model of ZFC in which there exists a Rosenthal family of cardinality $<\mathfrak{c}$.
- A non-reflexive Grothendieck space that does not contain \(l_{\infty }\)
- A Short Proof and Generalization of a Measure Theoretic Disjointization Lemma
- Combinatorial Cardinal Characteristics of the Continuum
- Combinatorics for the dominating and unsplitting numbers
- Combinatorics on ideals and forcing
- Filter games on ω and the dual ideal
- scientific article; zbMATH DE number 5896194 (Why is no real title available?)
- scientific article; zbMATH DE number 3861790 (Why is no real title available?)
- scientific article; zbMATH DE number 46958 (Why is no real title available?)
- scientific article; zbMATH DE number 3467030 (Why is no real title available?)
- scientific article; zbMATH DE number 3576139 (Why is no real title available?)
- scientific article; zbMATH DE number 1097274 (Why is no real title available?)
- scientific article; zbMATH DE number 787541 (Why is no real title available?)
- scientific article; zbMATH DE number 841174 (Why is no real title available?)
- scientific article; zbMATH DE number 3894002 (Why is no real title available?)
- Independent families in Boolean algebras with some separation properties
- Iterated perfect-set forcing
- On the Covering and the Additivity Number of the Real Line
- Problems and theorems in classical set theory
- Ramsey methods in analysis
- Selctive ultrafilters and homogeneity
- Some points in βN
- The Rudin-Keisler Ordering of P-Points
- The Shelah P-point independence theorem
- There are no Q-Points in Laver's Model for the Borel Conjecture
- Rosenthal families, filters, and semifilters
- scientific article; zbMATH DE number 3745542 (Why is no real title available?)
- A remark about Λ(𝑝)-sets and Rosenthal sets
- Rosenthal families, pavings, and generic cardinal invariants
- Residuality of families of \({\mathcal F}_\sigma\) sets
- A Banach space \(C(K)\) reading the dimension of \(K\)
- On cardinal invariants related to Rosenthal families and large-scale topology
This page was built for publication: Families of sets related to Rosenthal's lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1712928)
