Related papers: On weakly tight families

A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many F\o lner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on…

We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S= \{F~\cap~S:~F~\in~\mathcal{F}\}$. The Sauer-Shelah lemma states that in general, a set system $\mathcal{F}$ shatters at least…

We investigate the automorphism groups of $\aleph\_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly…

The strong thin tree conjecture states that every $k$-edge-connected graph $G$ contains an $O(1/k)$-thin spanning tree, meaning a spanning tree which contains at most an $O(1/k)$ fraction of the edges across each cut in $G$. This conjecture…

A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest…

In \cite[Serra, Vena, Extremal families for the Kruskal-Katona theorem]{sv21}, the authors have shown a characterization of the extremal families for the Kruskal-Katona Theorem. We further develop some of the arguments given in \cite{sv21}…

Let $\{C_{\alpha}\}_{\alpha\in \Omega}$ be a family of closed and convex sets in a Hilbert space $H$, having a nonempty intersection $C$. We consider a sequence $\{x_n\}$ of remote projections onto them. This means, $x_0\in H$, and…

Given a connected graph $G=(V,E)$ and a crossing family $\mathcal{C}$ over ground set $V$ such that $|\delta_G(U)|\geq 2$ for every $U\in \mathcal{C}$, we prove there exists a strong orientation of $G$ for $\mathcal{C}$, i.e., an…

Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost…

We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…

Let $\mathfrak{F}$ be a formation and $G$ a finite group. A subgroup $H$ of $G$ is said to be weakly $\mathfrak{F}_{s}$-quasinormal in $G$ if $G$ has an $S$-quasinormal subgroup $T$ such that $HT$ is $S$-quasinormal in $G$ and $(H\cap…

We generalize the notion of an approximate indicator for a closed subgroup $H$ of a locally compact group $G$ introduced by Aristov, Runde, and Spronk and extend their characterization of the existence of such nets in terms of the…

Let $E$ be a vector space over a countable field of dimension $\aleph_0$. Two infinite-dimensional subspaces $V,W \subseteq E$ are almost disjoint if $V \cap W$ is finite-dimensional. This paper provides some improvements on results about…

We introduce a new propositional logic, called very weak subintuitionistic logic $\mathbf{VF}$, by adapting the relational semantics of Fitting, Marek, and Truszczy\'nski for the pure logic of necessitation $\mathbf{N}$ to the propositional…

Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of…

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…

We prove the following results: (i) Every absolutely weakly compact set in a Banach lattice is absolutely weakly sequentially compact. (ii) The converse of (i) holds if $E$ is separable or $B_{E^{**}}$ is absolutely weak$^*$ compact. (iii)…

We prove that it is consistent that $\aleph_\omega$ is strong limit, $2^{\aleph_\omega}$ is large and the universality number for graphs on $\aleph_{\omega+1}$ is small. The proof uses Prikry forcing with interleaved collapsing.

A Banach space $X$ is said to have Efremov's property ($\mathcal{E}$) if every element of the weak$^*$-closure of a convex bounded set $C \subseteq X^*$ is the weak$^*$-limit of a sequence in $C$. By assuming the Continuum Hypothesis, we…

Given a family $S$ of $k$--subsets of $[n]$, its lower shadow $\Delta(S)$ is the family of $(k-1)$--subsets which are contained in at least one set in $S$. The celebrated Kruskal--Katona theorem gives the minimum cardinality of $\Delta(S)$…