Given an ideal $ℐ$ on $\omega$ let $𝔞\left(ℐ\right)$ ($\overline{𝔞}\left(ℐ\right)$) be minimum of the cardinalities of infinite (uncountable) maximal $ℐ$-almost disjoint subsets of ${\left[\omega \right]}^{\omega }$. We show that $𝔞\left({ℐ}_h\right)>\omega$ if ${ℐ}_h$ is a summable ideal; but $𝔞\left({𝒵}_{\overrightarrow{\mu }}\right)=\omega$ for any tall density ideal ${𝒵}_{\overrightarrow{\mu }}$ including the density zero ideal $𝒵$. On the other hand, you have $𝔟\le \overline{𝔞}\left(ℐ\right)$ for any analytic $P$-ideal $ℐ$, and $\overline{𝔞}\left({𝒵}_{\overrightarrow{\mu }}\right)\le 𝔞$ for each density ideal ${𝒵}_{\overrightarrow{\mu }}$. For each ideal $ℐ$ on $\omega$ denote ${𝔟}_{ℐ}$ and ${𝔡}_{ℐ}$ the unbounding and dominating numbers of $\langle {\omega }^{\omega },{\le }_{ℐ}\rangle$ where $f{\le }_{ℐ}g$ iff $\{n\in \omega :f(n)>g(n\left)\right\}\in ℐ$. We show that ${𝔟}_{ℐ}=𝔟$ and ${𝔡}_{ℐ}=𝔡$ for each analytic $P$-ideal $ℐ$. Given a Borel ideal $ℐ$ on...

We prove in ZFC that every $ℳ\cap 𝒩$ additive set is $𝒩$ additive, thus we solve Problem 20 from paper [Weiss T., A note on the intersection ideal $ℳ\cap 𝒩$, Comment. Math. Univ. Carolin. 54 (2013), no. 3, 437-445] in the negative.

We prove that for an unbounded metric space $X$, the minimal character $𝗆\chi \left(\check{X}\right)$ of a point of the Higson corona $\check{X}$ of $X$ is equal to $𝔲$ if $X$ has asymptotically isolated balls and to $max\{𝔲,𝔡\}$ otherwise. This implies that under $𝔲<𝔡$ a metric space $X$ of bounded geometry is coarsely equivalent to the Cantor macro-cube $2^{<\mathbb{N}}$ if and only if $dim\left(\check{X}\right)=0$ and $𝗆\chi \left(\check{X}\right)=𝔡$. This contrasts with a result of Protasov saying that under CH the coronas of any two asymptotically zero-dimensional unbounded metric separable spaces are homeomorphic.

Galois-Tukey equivalence between matrix summability and absolute convergence of series is shown and an alternative characterization of rapid ultrafilters on ω is derived.

The author has recently shown (2014) that separable, selectively (a)-spaces cannot include closed discrete subsets of size . It follows that, assuming CH, separable selectively (a)-spaces necessarily have countable extent. However, in the same paper it is shown that the weaker hypothesis "$2^{\aleph ₀}<2^{\aleph ₁}$" is not enough to ensure the countability of all closed discrete subsets of such spaces. In this paper we show that if one adds the hypothesis of local compactness, a specific effective (i.e., Borel) parametrized...

The σ-ideal (v 0) is associated with the Silver forcing, see [5]. Also, it constitutes the family of all completely doughnut null sets, see [9]. We introduce segment topologies to state some resemblances of (v 0) to the family of Ramsey null sets. To describe add(v 0) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen’s conjecture cov(v 0) = add(v 0) is confirmed under the hypothesis t = min{cf(c), r}. The hypothesis cov(v 0) = ω 1 implies that (v 0) has the ideal...

Let ω denote the set of natural numbers. We prove: for every mod-finite ascending chain $T_{\alpha }:\alpha <\lambda$ of infinite subsets of ω, there exists $ℳ\subset {\left[\omega \right]}^{\omega }$, an infinite maximal almost disjoint family (MADF) of infinite subsets of the natural numbers, such that the Stone-Čech remainder βψ∖ψ of the associated ψ-space, ψ = ψ(ω,ℳ ), is homeomorphic to λ + 1 with the order topology. We also prove that for every λ < ⁺, where is the tower number, there exists a mod-finite ascending chain $T_{\alpha }:\alpha <\lambda$, hence a ψ-space with Stone-Čech remainder...

The additivity spectrum $ADD\left(ℐ\right)$ of an ideal $ℐ\subset 𝒫\left(I\right)$ is the set of all regular cardinals $\kappa$ such that there is an increasing chain $\{A_{\alpha }:\alpha <\kappa \}\subset ℐ$ with ${\bigcup }_{\alpha <\kappa }{A}_{\alpha }\notin ℐ$. We investigate which set $A$ of regular cardinals can be the additivity spectrum of certain ideals. Assume that $ℐ=ℬ$ or $ℐ=𝒩$, where $ℬ$ denotes the $\sigma$-ideal generated by the compact subsets of the Baire space ${\omega }^{\omega }$, and $𝒩$ is the ideal of the null sets. We show that if $A$ is a non-empty progressive set of uncountable regular cardinals and $pcf\left(A\right)=A$, then $ADD\left(ℐ\right)=A$ in some c.c.c generic extension of the...

We study splitting, infinitely often equal (ioe) and refining families from the descriptive point of view, i.e. we try to characterize closed, Borel or analytic such families by proving perfect set theorems. We succeed for $G_{\delta }$ hereditary splitting families and for analytic countably ioe families. We construct several examples of small closed ioe and refining families.

Under Martin’s axiom, collapsing of the continuum by Sacks forcing $𝕊$ is characterized by the additivity of Marczewski’s ideal (see [4]). We show that the same characterization holds true if $𝔡=𝔠$ proving that under this hypothesis there are no small uncountable maximal antichains in $𝕊$. We also construct a partition of ${}^{\omega }2$ into $𝔠$ perfect sets which is a maximal antichain in $𝕊$ and show that $s^0$-sets are exactly (subsets of) selectors of maximal antichains of perfect sets.

We investigate properties of permitted trigonometric thin sets and construct uncountable permitted sets under some set-theoretical assumptions.

If G is a group then the abelian subgroup spectrum of G is defined to be the set of all κ such that there is a maximal abelian subgroup of G of size κ. The cardinal invariant A(G) is defined to be the least uncountable cardinal in the abelian subgroup spectrum of G. The value of A(G) is examined for various groups G which are quotients of certain permutation groups on the integers. An important special case, to which much of the paper is devoted, is the quotient of the full symmetric group by the...

I isolate a simple condition that is equivalent to preservation of P-points in definable proper forcing.

We continue our work on weak diamonds [J. Appl. Anal. 15 (1009)]. We show that $2^{\omega }=\aleph ₂$ together with the weak diamond for covering by thin trees, the weak diamond for covering by meagre sets, the weak diamond for covering by null sets, and “all Aronszajn trees are special” is consistent relative to ZFC. We iterate alternately forcings specialising Aronszajn trees without adding reals (the NNR forcing from [“Proper and Improper Forcing”, Ch. V]) and < ω₁-proper ${}^{\omega }\omega$-bounding forcings adding reals. We show...