A hull of A ⊆ [0,1] is a set H containing A such that λ*(H) = λ*(A). We investigate all four versions of the following problem. Does there exist a monotone (with respect to inclusion) map that assigns a Borel/$G_{\delta }$ hull to every negligible/measurable subset of [0,1]? Three versions turn out to be independent of ZFC, while in the fourth case we only prove that the nonexistence of a monotone $G_{\delta }$ hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent....

We study cardinal coefficients related to combinatorial properties of partitions of $\omega$ with respect to the order of almost containedness.

We deal with some problems posed by Monk [Mo 1], [Mo 3] and related to cardinal invariants of ultraproducts of Boolean algebras. We also introduce and investigate several new cardinal invariants.

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most ${\left(2^{\aleph ₀}\right)}^V$ levels of size ω. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of regular and of 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.

We show the consistency of CH and the statement “no ccc forcing has the Sacks property” and derive some consequences for ccc ${\omega }^{\omega }$-bounding forcing notions.

We present two ${\mathbb{P}}_{max}$ varations which create maximal models relative to certain counterexamples to Martin’s Axiom, in hope of separating certain classical statements which fall between MA and Suslin’s Hypothesis. One of these models is taken from [19], in which we maximize relative to the existence of a certain type of Suslin tree, and then force with that tree. In the resulting model, all Aronszajn trees are special and Knaster’s forcing axiom ₃ fails. Of particular interest is the still open question...

In set theory without the axiom of choice (AC), we observe new relations of the following statements with weak choice principles. $\circ$ If in a partially ordered set, all chains are finite and all antichains are countable, then the set is countable. $\circ$ If in a partially ordered set, all chains are finite and all antichains have size ${\aleph }_{\alpha }$, then the set has size ${\aleph }_{\alpha }$ for any regular ${\aleph }_{\alpha }$. $\circ$ Every partially ordered set without a maximal element has two disjoint cofinal sub sets – CS. $\circ$ Every partially ordered set...

We study combinatorial principles we call the Homogeneity Principle HP(κ) and the Injectivity Principle IP(κ,λ) for regular κ > ℵ₁ and λ ≤ κ which are formulated in terms of coloring the ordinals < κ by reals. These principles are strengthenings of $C^s\left(\kappa \right)$ and $F^s\left(\kappa \right)$ of I. Juhász, L. Soukup and Z. Szentmiklóssy. Generalizing their results, we show e.g. that IP(ℵ₂,ℵ₁) (hence also IP(ℵ₂,ℵ₂) as well as HP(ℵ₂)) holds in a generic extension of a model of CH by Cohen forcing, and IP(ℵ₂,ℵ₂) (hence also HP(ℵ₂))...

We study combinatorial properties of the partial order (Dense(ℚ),⊆). To do that we introduce cardinal invariants ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$ describing properties of Dense(ℚ). These invariants satisfy ${}_{\mathbb{Q}}$ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ$.WecomparethemwiththeiranaloguesinthewellstudiedBooleanalgebra\left(\omega \right)/fin.Weshowthat$ℚ = p$,$ℚ = t$and$ℚ = i$,whereas$ℚ > h$and$ℚ > r$arebothshowntoberelativelyconsistentwithZFC.Wealsoinvestigatecombinatoricsoftheidealnwdofnowheredensesubsetsof,\mathbb{Q}.Inparticular,weshowthat$non(M)=min||: ⊆ Dense(R) ∧ (∀I ∈ nwd(R))(∃D ∈ )(I ∩ D = ∅) and cof(M) = min||: ⊆ Dense(ℚ) ∧ (∀I ∈ nwd)(∃D ∈ )(I ∩ = ∅). We use these facts to show that cof(M) ≤ i, which improves a result of S. Shelah.

We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models of $2^{\aleph ₀}=\aleph ₂$ in which no such space can have ℵ₂ countable levels.