Using finite support iteration of ccc partial orders we provide a model of 𝔟 = κ < 𝔰 = κ⁺ for κ an arbitrary regular, uncountable cardinal.

Throughout this abstract, $G$ is a topological Abelian group and $\widehat{G}$ is the space of continuous homomorphisms from $G$ into the circle group $𝕋$ in the compact-open topology. A dense subgroup $D$ of $G$ is said to determine $G$ if the (necessarily continuous) surjective isomorphism $\widehat{G}\twoheadrightarrow \widehat{D}$ given by $h\mapsto h|D$ is a homeomorphism, and $G$ is determined if each dense subgroup of $G$ determines $G$. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is...

Several results are presented concerning the existence or nonexistence, for a subset S of ω₁, of a real r which works as a robust code for S with respect to a given sequence $⟨S_{\alpha }:\alpha <\omega ₁⟩$ of pairwise disjoint stationary subsets of ω₁, where “robustness” of r as a code may either mean that $S\in L[r,⟨S{*}_{\alpha }:\alpha <\omega ₁⟩]$ whenever each $S{*}_{\alpha }$ is equal to $S_{\alpha }$ modulo nonstationary changes, or may have the weaker meaning that $S\in L[r,⟨S_{\alpha }\cap C:\alpha <\omega ₁⟩]$ for every club C ⊆ ω₁. Variants of the above theme are also considered which result when the requirement that S gets exactly...

We define a new principle, SEP, which is true in all Cohen extensions of models of CH, and explore the relationship between SEP and other such principles. SEP is implied by each of CH*, the weak Freeze-Nation property of (ω), and the (ℵ₁,ℵ₀)-ideal property. SEP implies the principle $C{₂}^s\left(\omega ₂\right)$, but does not follow from $C{₂}^s\left(\omega ₂\right)$, or even $C^s\left(\omega ₂\right)$.

We examine the splitting number (B) and the reaping number (B) of quotient Boolean algebras B = (ω)/ℐ where ℐ is an $F_{\sigma }$ ideal or an analytic P-ideal. For instance we prove that under Martin’s Axiom ((ω)/ℐ) = for all $F_{\sigma }$ ideals ℐ and for all analytic P-ideals ℐ with the BW property (and one cannot drop the BW assumption). On the other hand under Martin’s Axiom ((ω)/ℐ) = for all $F_{\sigma }$ ideals and all analytic P-ideals ℐ (in this case we do not need the BW property). We also provide applications of these characteristics...

Let χ be the minimum cardinality of a subset of ${}^{\omega }2$ that cannot be made convergent by multiplication with a single Toeplitz matrix. By an application of a creature forcing we show that < χ is consistent. We thus answer a question by Vojtáš. We give two kinds of models for the strict inequality. The first is the combination of an ℵ₂-iteration of some proper forcing with adding ℵ₁ random reals. The second kind of models is obtained by adding δ random reals to a model of $M{A}_{<\kappa }$ for some δ ∈ [ℵ₁,κ). It...

We describe a totally proper notion of forcing that can be used to shoot uncountable free sequences through certain countably compact non-compact spaces. This is almost (but not quite!) enough to produce a model of ZFC + CH in which countably tight compact spaces are sequential-we still do not know if the notion of forcing described in the paper can be iterated without adding reals.

We deal with two cardinal invariants and give conditions on their equality using Shelah's pcf theory.