Related papers: A nonhereditary Borel-cover gamma-set

A slalom is a sequence of finite sets of length omega. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

Given an algebra and a finite group acting on it via automorphisms, a natural object of study is the associated skew group algebra. In this article, we study the relationship between quasi-hereditary structures on the original algebra and…

Results of Sierpinski and others have shown that certain finite-dimensional product sets can be written as unions of subsets, each of which is "narrow" in a corresponding direction; that is, each line in that direction intersects the subset…

A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove…

A family is constructed of cardinality equal to the continuum, whose members are totally incomparable, reflexive, hereditarily indecomposable Banach spaces.

Let $\bf\Gamma$ be a Borel class, or a Wadge class of Borel sets, and $2\leq d\leq\omega$ a cardinal. We study the Borel subsets of ${\mathbb R}^d$ that can be made $\bf\Gamma$ by refining the Polish topology on the real line. These sets…

Let $A$ be a tame hereditary algebra over a finite field $k$ with $q$ elements, and ${\bar{A}}$ be the duplicated algebra of $A$. In this paper, we investigate the structure of Ringel-Hall algebra $\mathscr{H} (\bar{A})$ and of the…

We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and…

We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…

Given two quasi-hereditary algebras, their tensor product is quasi-hereditary. In this article, we show that given two exact Borel subalgebras for these quasi-hereditary algebras, their tensor product is an exact Borel subalgebra. Moreover,…

In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a…

Given a graph $G$, its genus polynomial is $\Gamma_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture…

Let $G$ be a graph on $V$. A vertex subset $S \subset V$ is called a cover of $G$ if its complement is an independent set, and $S$ is called a noncover if it is not a cover of $G$. A noncover complex $NC(G)$ of $G$ is the simplicial complex…

We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…

Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups…

We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Phi|| for sentences…

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to…

A family of sets is called $r$-\emph{cover free} if no set in the family is contained in the union of $r$ (or less) other sets in the family. A $1$-cover free family is simply an antichain with respect to set inclusion. Thus, Sperner's…

A reduction of properties (invariants) of compact sets of real numbers to properties of countable orders is presented here. Discussed here is also an embedding property of some compact sets that are called t$\mathbb R$-sets. Among others,…