Related papers: Strong independence and its spectrum

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

Let $G=(V,E)$ be a simple graph. A set $S\subseteq V$ is independent set of $G$, if no two vertices of $S$ are adjacent. The independence number $\alpha(G)$ is the size of a maximum independent set in the graph. %An independent set with…

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…

Let $\mathcal M_X$ denote the ideal of meager subsets of a topological space $X$. We prove that if $X$ is a completely metrizable space without isolated points, then the smallest cardinality of a non-meager subset of $X$, denoted…

A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [Sh:24]. Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S(mu) on an infinite…

We continue the study from \cite{BrendleFreidmanMontoya, vandervlugtlocalizationcardinals} of localization cardinals $\mfb_\kappa(\in^*)$ and $\mfd_\kappa(\in^*)$ and their variants at regular uncountable $\kappa$. We prove that if $\kappa$…

Given a function $f \in \omega^\omega$, a set $A \in [\omega]^\omega$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $\Gamma \subseteq \omega^{\omega}$, we define $\mathfrak{ros}_\Gamma$ as the smallest size of a…

We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other.…

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

For a property $\Gamma$ and a family of sets $\cF$, let $f(\cF,\Gamma)$ be the size of the largest subfamily of $\cF$ having property $\Gamma$. For a positive integer $m$, let $f(m,\Gamma)$ be the minimum of $f(\cF,\Gamma)$ over all…

For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact…

We show that under $\mathsf{ZF} + \mathsf{CC}_{\mathbb R}$, if the Ramsey property holds for all sets in a good pointclass $\Gamma$, then there is no MAD family in $\Gamma$, proving a long-standing conjecture made by A.R.D.\ Mathias in…

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa…

As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by…

Definable stationary sets, and specifically, ordinal definable ones, play a significant role in the study of canonical inner models of set theory and the class HOD of hereditarily ordinal definable sets. Fixing a certain notion of…

Definition. Let $\kappa$ be an infinite cardinal, let {X(i)} be a (not necessarily faithfully indexed) set of topological spaces, and let X be the product of the spaces X(i). The $\kappa$-box product topology on X is the topology generated…

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le…

Let $\alpha(G)$ denote the cardinality of a maximum independent set, while $\mu(G)$ be the size of a maximum matching in $G=\left( V,E\right) $. Let $\xi(G)$ denote the size of the intersection of all maximum independent sets. It is known…

We prove that in the product of kappa many Boolean algebras we cannot find an independent set of more than 2^kappa elements solving a problem of Monk (earlier it was known that we cannot find more than 2^{2^kappa} but can find 2^kappa).