A structure $={(A;E_i)}_{i\in n}$ where each $E_i$ is an equivalence relation on A is called an n-grid if any two equivalence classes coming from distinct $E_i$’s intersect in a finite set. A function χ: A → n is an acceptable coloring if for all i ∈ n, the ${\chi }^{-1}\left(i\right)$ intersects each $E_i$-equivalence class in a finite set. If B is a set, then the n-cube Bⁿ may be seen as an n-grid, where the equivalence classes of $E_i$ are the lines parallel to the ith coordinate axis. We use elementary submodels of the universe to characterize those n-grids...

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(ℵ₂))...

It is consistent that ZF + DC holds, the hypergraph of rectangles on a given Euclidean space has countable chromatic number, while the hypergraph of equilateral triangles on ${ℝ}^2$ does not.

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.

This note is devoted to combinatorial properties of ideals on the set of natural numbers. By a result of Mathias, two such properties, selectivity and density, in the case of definable ideals, exclude each other. The purpose of this note is to measure the ``distance'' between them with the help of ultrafilter topologies of Louveau.

Some of the covering properties of spaces as defined in Parts I and II are here characterized by games. These results, applied to function spaces $C_p\left(X\right)$ of countable tightness, give new characterizations of countable fan tightness and countable strong fan tightness. In particular, each of these properties is characterized by a Ramseyan theorem.

We use Ramseyan partition relations to characterize: ∙ the classical covering property of Hurewicz; ∙ the covering property of Gerlits and Nagy; ∙ the combinatorial cardinal numbers and add(ℳ ). Let X be a $T_{31/2}$-space. In [9] we showed that $C_p\left(X\right)$ has countable strong fan tightness as well as the Reznichenko property if, and only if, all finite powers of X have the Gerlits-Nagy covering property. Now we show that the following are equivalent: 1. $C_p\left(X\right)$ has countable fan tightness and the Reznichenko property. 2....

Using techniques for modeling indices by means of functional equations and resources from fuzzy set theory, the classical Balthazard index used in order to combine several degrees of impairment is characterized in two natural ways and its use is criticized. In addition some hints are given on how to study better solutions than Balthazard's one for the problem of combining impairment degrees.

Among other results we prove that the topological statement “Any compact covering mapping between two Π⁰₃ spaces is inductively perfect” is equivalent to the set-theoretical statement "$\forall \alpha \in {\omega }^{\omega },\omega {₁}^{L\left(\alpha \right)}<\omega ₁$"; and that the statement “Any compact covering mapping between two coanalytic spaces is inductively perfect” is equivalent to “Analytic Determinacy”. We also prove that these statements are connected to some regularity properties of coanalytic cofinal sets in (X), the hyperspace of all compact subsets of a Borel...

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.

It is well-known that compacta (i.e. compact Hausdorff spaces) are maximally resolvable, that is every compactum $X$ contains $\Delta \left(X\right)$ many pairwise disjoint dense subsets, where $\Delta \left(X\right)$ denotes the minimum size of a non-empty open set in $X$. The aim of this note is to prove the following analogous result: Every compactum $X$ contains ${\Delta }_{\delta }\left(X\right)$ many pairwise disjoint $G_{\delta }$-dense subsets, where ${\Delta }_{\delta }\left(X\right)$ denotes the minimum size of a non-empty $G_{\delta }$ set in $X$.

We study homeomorphism groups of metrizable compactifications of ℕ. All of those groups can be represented as almost zero-dimensional Polishable subgroups of the group $S_{\infty }$. As a corollary, we show that all Polish groups are continuous homomorphic images of almost zero-dimensional Polishable subgroups of $S_{\infty }$. We prove a sufficient condition for these groups to be one-dimensional and also study their descriptive complexity. In the last section we associate with every Polishable ideal on ℕ a certain Polishable...