English
Related papers

Related papers: A nonhereditary Borel-cover gamma-set

200 papers

For x and y sequences of real numbers define the inner product (x,y) = x(0)y(0) + x(1)y(1)+ ... which may not be finite or even exist. We say that x and y are orthogonal iff (x,y) converges and equals 0. Define l_p to be the set of all real…

Logic · Mathematics 2016-09-06 Arnold W. Miller , Juris Steprāns

Every regular polytope has the remarkable property that it inherits all symmetries of each of its facets. This property distinguishes a natural class of polytopes which are called hereditary. Regular polytopes are by definition hereditary,…

Combinatorics · Mathematics 2012-06-11 Mark Mixer , Egon Schulte , Asia Ivic Weiss

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

Logic · Mathematics 2026-03-10 Sven Manthe

We discuss the relationship between perfect sets of random reals, dominating reals, and the product of two copies of the random algebra B. Recall that B is the algebra of Borel sets of 2^omega modulo the null sets. Also given two models M…

Logic · Mathematics 2008-02-03 Jörg Brendle , Haim Judah

A $\Sigma$-construction of Solovay is partially extended to the case of intermediate sets which are not necessarily subsets of the ground model. As an application, we prove that, for a given name $t$, the set of all sets $t[G]$, $G$ being…

Logic · Mathematics 2018-08-16 Vladimir Kanovei

We show that the Schreier sets $\mathcal{S}_{\alpha}\ (\alpha<\omega_1)$ satisfy the following dichotomy property. For every hereditary collection $\cf$ of finite subsets of $\N$, either there exists infinite $M=(m_i)_1^{\infty}\subseteq\N$…

Functional Analysis · Mathematics 2016-09-07 Robert Judd

We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(\Gamma,\Gamma)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each…

General Topology · Mathematics 2019-12-06 Piotr Szewczak , Magdalena Włudecka

We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $\beta X\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a…

Logic · Mathematics 2016-09-12 Alessandro Vignati

We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…

Logic · Mathematics 2023-01-25 Robert Ralowski , Szymon Zeberski

Let $\mathcal B\subseteq\mathbb N$ be a primitive set. We complement results on heredity of the $\mathcal B$-free subshift $X_\eta$ from [arxiv:1509.08010] in two directions: In the proximal case we prove that a subshift $X_\varphi$, which…

Dynamical Systems · Mathematics 2019-11-18 Gerhard Keller

We introduce the concept of hereditarily non uniformly perfect sets, compact sets for which no compact subset is uniformly perfect, and compare them with the following: Hausdorff dimension zero sets, logarithmic capacity zero sets, Lebesgue…

Complex Variables · Mathematics 2017-01-24 Rich Stankewitz , Toshiyuki Sugawa , Hiroki Sumi

We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…

Logic · Mathematics 2021-03-11 Daisuke Ikegami , Philipp Schlicht , Hisao Tanaka

We show that the set of Liouville numbers is either null or non-$\sigma$-finite with respect to every translation invariant Borel measure on $\RR$, in particular, with respect to every Hausdorff measure $\iH^g$ with gauge function $g$. This…

Classical Analysis and ODEs · Mathematics 2011-09-27 Márton Elekes , Tamás Keleti

A continuum $K$ is a common model for the family ${\mathcal K}$ of continua if every member of ${\mathcal K}$ is a continuous image of $K$. We show that none of the following classes of spaces has a common model: 1) the class of strongly…

General Topology · Mathematics 2017-04-25 Jerzy Krzempek , Elżbieta Pol

Let $\Gamma$ be the fundamental group of a finite connected graph $\mathcal G$. Let $\mathfrak M$ be an abelian group. A {\it distribution} on the boundary $\partial\Delta$ of the universal covering tree $\Delta$ is an $\mathfrak M$-valued…

Group Theory · Mathematics 2013-02-25 Guyan Robertson

Establishing whether an algebra is quasi-hereditary or not is, in general, a difficult problem. In this paper we introduce a sufficient criterion to determine whether a general finite dimensional algebra is quasi-hereditary by showing that…

Representation Theory · Mathematics 2019-08-26 Edward L. Green , Sibylle Schroll

We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…

Logic · Mathematics 2019-08-16 Samuel Coskey , Tamás Mátrai , Juris Steprāns

We introduce the notion of an M-family of infinite subsets of $\nn$ which is implicitly contained in the work of A. R. D. Mathias. We study the structure of a pair of orthogonal hereditary families $\aaa$ and $\bbb$, where $\aaa$ is…

Logic · Mathematics 2010-06-15 Pandelis Dodos , Vassilis Kanellopoulos

Let $G$ be a finite permutation group acting on a set $\Omega$. An ordered sequence $(\omega_1,\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point…

Group Theory · Mathematics 2024-07-31 Fabio Mastrogiacomo

Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m}…

Group Theory · Mathematics 2008-03-11 Günter Lettl , Zhi-Wei Sun