English
Related papers

Related papers: A nonhereditary Borel-cover gamma-set

200 papers

We prove a variety of results concerning singular sets of reals. Our results concern: Kysiak and Laver-null sets, Kocinac and gamma-k-sets, Fleissner and square Q-sets, Alikhani-Koopaei and minimal Q-like-sets, Rubin and sigma-sets, and…

Logic · Mathematics 2007-05-23 Arnold W. Miller

Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying…

General Topology · Mathematics 2010-11-05 Arnold W. Miller , Boaz Tsaban

We show that if a topological or paratopological group $G$ contains a stationary subset of some regular uncountable cardinal, then $G$ contains a subspace which is not collectionwise normal. This statement implies that if a monotonically…

General Topology · Mathematics 2012-09-24 Raushan Buzyakova , Cetin Vural

The main goal of this paper is to generalize several results concerning cardinal invariants to the statements about the associated families of sets. We also discuss the relationship between the additive properties of sets and their Borel…

Logic · Mathematics 2007-05-23 Tomek Bartoszynski , Haim Judah

We give in this paper additional answers to questions of Lescow and Thomas [Logical Specifications of Infinite Computations, In:"A Decade of Concurrency", Springer LNCS 803 (1994), 583-621], proving new topological properties of omega…

Logic in Computer Science · Computer Science 2011-01-20 Olivier Finkel

Fix $A$, a family of subsets of natural numbers, and let $G_A(n)$ be the maximum cardinality of a subset of $\{1,2,..., n\}$ that does not have any subset in $A$. We consider the general problem of giving upper bounds on $G_A(n)$ and give…

Number Theory · Mathematics 2015-06-16 Kevin O'Bryant

Happel and Seidel gave a classification of piecewise hereditary Nakayama algebras, where the relations are given by some power of the radical. Here we explore what happens for general relations. We develop techniques for showing that a…

Representation Theory · Mathematics 2023-10-13 Didrik Fosse , Steffen Oppermann , Torkil Stai

For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap…

Logic · Mathematics 2018-06-19 Andrzej Roslanowski , Saharon Shelah

A result of Simonovits and S\'os states that for any fixed graph $H$ and any $\epsilon > 0$ there exists $\delta > 0$ such that if $G$ is an $n$-vertex graph with the property that every $S \subseteq V(G)$ contains $p^{e(H)} |S|^{v(H)} \pm…

Combinatorics · Mathematics 2016-12-23 David Conlon , Jacob Fox , Benny Sudakov

We prove in this paper that there exists some infinitary rational relations which are Sigma^0_3-complete Borel sets and some others which are Pi^0_3-complete. This implies that there exists some infinitary rational relations which are…

Logic in Computer Science · Computer Science 2010-07-26 Olivier Finkel

Green and Schroll give an easy criterion for a monomial algebra $A$ to be quasi-hereditary with respect to some partial order $\leq_A$. A natural follow-up question is under which conditions a monomial quasi-hereditary algebra $(A, \leq_A)$…

Representation Theory · Mathematics 2025-04-03 Anna Rodriguez Rasmussen

In this paper, we study the property of hereditary completeness of vector systems $\{x_k\}_{k=1}^\infty$ in a Hilbert space. A criterion of hereditary completeness is obtained in terms of projectors on closed linear spans of systems of the…

Functional Analysis · Mathematics 2025-05-22 Mikhail Prokofyev

A Q-set is an uncountable set of reals all of whose subsets are relative $G_\delta$ sets. We prove that, for an arbitrary uncountable cardinal kappa, there is consistently a Q-set of size $\kappa$ whose square is not Q. This answers a…

Logic · Mathematics 2016-11-28 Joerg Brendle

A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable…

Operator Algebras · Mathematics 2020-07-29 Clayton Suguio Hida , Piotr Koszmider

Not every quasihereditary algebra $(A,\Phi,\unlhd)$ has an exact Borel subalgebra. A theorem by Koenig, K\"ulshammer and Ovsienko asserts that there always exists a quasihereditary algebra Morita equivalent to $A$ that has a regular exact…

Representation Theory · Mathematics 2021-04-26 Teresa Conde

We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or,…

Logic · Mathematics 2021-05-28 Stevo Todorčević , Zoltán Vidnyánszky

We prove that there exists a countable family of continuous real functions whose graphs together with their inverses cover an uncountable square, i.e. a set of the form $X\times X$, where $X$ is an uncountable subset of the real line. This…

Logic · Mathematics 2012-10-23 Wiesław Kubiś , Benjamin Vejnar

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some…

General Topology · Mathematics 2010-08-02 Marion Scheepers , Boaz Tsaban

An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML that is algebraic and has the 2-covering property, and…

Quantum Physics · Physics 2024-06-13 John Harding , Andre Kornell

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

Logic · Mathematics 2025-10-28 David Schrittesser