We characterize for which ultrafilters on $\omega$ is the ultrafilter extension of the asymptotic density on natural numbers $\sigma$-additive on the quotient boolean algebra $𝒫\left(\omega \right)/d_{𝒰}$ or satisfies similar additive condition on $𝒫\left(\omega \right)/\text{fin}$. These notions were defined in [Blass A., Frankiewicz R., Plebanek G., Ryll-Nardzewski C., A Note on extensions of asymptotic density, Proc. Amer. Math. Soc. 129 (2001), no. 11, 3313–3320] under the name $AP$(null) and $AP$(*). We also present a characterization of a $P$- and semiselective ultrafilters...

We formulate a Covering Property Axiom $CP{A}_{cube}^{game}$, which holds in the iterated perfect set model, and show that it implies the existence of uncountable strong γ-sets in ℝ (which are strongly meager) as well as uncountable γ-sets in ℝ which are not strongly meager. These sets must be of cardinality ω₁ < , since every γ-set is universally null, while $CP{A}_{cube}^{game}$ implies that every universally null has cardinality less than = ω₂. We also show that $CP{A}_{cube}^{game}$ implies the existence of a partition of ℝ into ω₁ null compact sets....

Natural weakenings of uniformizability of a ladder system on ω₁ are considered. It is shown that even assuming CH all the properties may be distinct in a strong sense. In addition, these properties are studied in conjunction with other properties inconsistent with full uniformizability, which we call anti-uniformization properties. The most important conjunction considered is the uniformization property we call countable metacompactness and the anti-uniformization property we call thinness. The...

We investigate the question of whether or not an amenable subgroup of the permutation group on $\mathbb{N}$ can have a unique invariant mean on its action. We extend the work of M. Foreman (1994) and show that in the Cohen model such an amenable group with a unique invariant mean must fail to have slow growth rate and a certain weakened solvability condition.

A function of two variables F(x,y) is universal if for every function G(x,y) there exist functions h(x) and k(y) such that G(x,y) = F(h(x),k(y)) for all x,y. Sierpiński showed that assuming the Continuum Hypothesis there exists a Borel function F(x,y) which is universal. Assuming Martin's Axiom there is a universal function of Baire class 2. A universal function cannot be of Baire class 1. Here we show that it is consistent that for each α with 2 ≤ α < ω₁ there...

We show that universal indestructibility for both strong compactness and supercompactness is consistent with the existence of two strongly compact cardinals. This is in contrast to the fact that if κ is supercompact and universal indestructibility for either strong compactness or supercompactness holds, then no cardinal λ > κ is measurable.

A subset of a topological space is said to be universally measurable if it is measured by the completion of each countably additive σ-finite Borel measure on the space, and universally null if it has measure zero for each such atomless measure. In 1908, Hausdorff proved that there exist universally null sets of real numbers of cardinality ℵ₁, and thus that there exist at least $2^{\aleph ₁}$ such sets. Laver showed in the 1970’s that consistently there are just continuum many universally null sets of reals....