We investigate, in set theory without the Axiom of Choice , the set-theoretic strength of the statement Q(n): For every infinite set X, the Tychonoff product $2^X$, where 2 = 0,1 has the discrete topology, is n-compact, where n = 2,3,4,5 (definitions are given in Section 1). We establish the following results: (1) For n = 3,4,5, Q(n) is, in (Zermelo-Fraenkel set theory minus ), equivalent to the Boolean Prime Ideal Theorem , whereas (2) Q(2) is strictly weaker than in set theory (Zermelo-Fraenkel set...

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No relatively consistent...

We study the concept of $\pi$-caliber as an alternative to the well known concept of caliber. $\pi$-caliber and caliber values coincide for regular cardinals greater than or equal to the Souslin number of a space. Unlike caliber, $\pi$-caliber may take on values below the Souslin number of a space. Under Martin’s axiom, $2^{\omega }$ is a $\pi$-caliber of ${\mathbb{N}}^{*}$. Prikry’s poset is used to settle a problem by Fedeli regarding possible values of very weak caliber.

If there is no inner model with measurable cardinals, then for each cardinal $\lambda$ there is an almost disjoint family ${𝒜}_{\lambda }$ of countable subsets of $\lambda$ such that every subset of $\lambda$ with order type $\ge {\omega }^2$ contains an element of ${𝒜}_{\lambda }$.

We list some open problems concerning the polarized partition relation. We solve a couple of them, by showing that for every limit non-inaccessible ordinal α there exists a forcing notion ℙ such that the strong polarized relation $\left(\genfrac{}{}{0pt}{}{{\aleph }_{\alpha +1}}{{\aleph }_{\alpha }}\right)\to {\left(\genfrac{}{}{0pt}{}{{\aleph }_{\alpha +1}}{{\aleph }_{\alpha }}\right)}_2^{1,1}$ holds in $V^{\mathbb{P}}$.

We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is ℵ₂-projective. Previously it was known that this characterization of openly generated Boolean algebras follows from Axiom R. Since FRP is preserved by c.c.c. generic extension, we conclude in particular that this characterization is consistent with any set-theoretic assertion forcable by a c.c.c. poset starting from a model of FRP. A crucial step...

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...

Motivated by an application to the unconditional basic sequence problem appearing in our previous paper, we introduce analogues of the Laver ideal on ℵ₂ living on index sets of the form ${\left[{\aleph }_k\right]}^{\omega }$ and use this to refine the well-known high-dimensional polarized partition relation for ${\aleph }_{\omega }$ of Shelah.

Let κ > ω be a regular cardinal and λ > κ a cardinal. The following partition property is shown to be consistent relative to a supercompact cardinal: For any $f:{\cup }_{n<\omega }{\left[X\right]}_{\subset }^n\to \gamma$ with $X\subset P_{\kappa }\lambda$ unbounded and 1 < γ < κ there is an unbounded Y ∪ X with $|f^{\text{'}\text{'}}{\left[Y\right]}_{\subset }^n|=1$ for any n < ω.

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.

We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a $T_3$ Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first-countable, 0-dimensional, Hausdorff space of size $2^{\omega }$ and weight ${\omega }_1$ which admits a point countable base without a partition to two bases.

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 several perfect set properties of the Baire space which follow from the Ramsey property $\omega \to {\left(\omega \right)}^{\omega }$. In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

By an ${\omega }_1$- tree we mean a tree of power ${\omega }_1$ and height ${\omega }_1$. Under CH and $2^{{\omega }_1}>{\omega }_2$ we call an ${\omega }_1$-tree a Jech-Kunen tree if it has κ-many branches for some κ strictly between ${\omega }_1$ and $2^{{\omega }_1}$. In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus $2^{{\omega }_1}>{\omega }_2$ that there exist Kurepa trees and there are no Jech-Kunen trees, which answers a question of [Ji2], (2) it is consistent with CH plus $2^{{\omega }_1}={\omega }_4$ that there only exist Kurepa trees with ${\omega }_3$-many branches, which answers another...