English
Related papers

Related papers: Partitioning the real line into Borel sets

200 papers

Let $\kappa$ be an infinite cardinal. Then, forcing with $\mathbb{R}(\kappa)$$\times$$\mathbb{R}(\kappa)$ adds a generic filter for $\mathbb{C}(\kappa);$ where $\mathbb{R}(\kappa)$ and $\mathbb{C}(\kappa)$ are the forcing notions for adding…

Logic · Mathematics 2017-01-17 Mohammad Golshani

This paper completes the classification of maximal unrefinable partitions, extending a previous work of Aragona et al. devoted only to the case of triangular numbers. We show that the number of maximal unrefinable partitions of an integer…

Combinatorics · Mathematics 2025-12-22 Riccardo Aragona , Lorenzo Campioni , Roberto Civino

In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $\kappa^\kappa$ for an uncountable $\kappa$ with the property…

Logic · Mathematics 2014-08-20 Sy-David Friedman , Tapani Hyttinen , Vadim Kulikov

We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is…

Logic · Mathematics 2016-09-06 Sakaé Fuchino , Sabine Koppelberg , Saharon Shelah

A $(k,\ell )$ partial partition of an $n$-element set is a collection of $\ell $ pairwise disjoint $k$-element subsets. It is proved that, if $n$ is large enough, one can find $\left\lfloor {n\choose k}/{\ell}\right\rfloor$ such partial…

Combinatorics · Mathematics 2023-12-15 Gyula O. H. Katona , Gyula Y. Katona

We present a number of results concerning infinite-exponent partition relations on linear orders of the form $\langle {}^\alpha 2,<_{\text{lex}}\rangle$ for $\alpha$ an ordinal, generalising the setting of the real line, working throughout…

Logic · Mathematics 2026-05-04 Lyra A. Gardiner , Jonathan Schilhan , Thilo Weinert

We study aleph_0-stable theories, and prove that if T either has eni-DOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of lambda-Borel completeness and prove that such theories are…

Logic · Mathematics 2014-06-05 Michael C. Laskowski , Saharon Shelah

We prove a lemma that is useful to get upper bounds for the number of partitions without a given subsum. From this we can deduce an improved upper bound for the number of sets represented by the (unrestricted or into unequal parts)…

Combinatorics · Mathematics 2007-11-07 Jean-Christophe Aval

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit…

Logic · Mathematics 2016-09-06 Thomas Jech , Saharon Shelah

This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly sigma-filtered Boolean algebras. We show that for every uncountable regular cardinal kappa there are…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah

We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first…

Classical Analysis and ODEs · Mathematics 2024-08-14 Pablo Shmerkin , Hong Wang

Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…

Logic · Mathematics 2023-09-20 Philipp Lücke , Sandra Müller

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

Logic · Mathematics 2021-03-25 M. K. Bellini , K. P. Hart , V. O. Rodrigues , A. H. Tomita

For certain uncountable cardinals $\kappa$ we produce a group of cardinality $\kappa$ which is freely indecomposable, strongly $\kappa$-free, and whose abelianization is free abelian of rank $\kappa$. The construction takes place in…

Group Theory · Mathematics 2020-10-07 Samuel M. Corson

Miklos Laczkovich asked if there exists a Haussdorff (or even normal) space in which every subset is Borel yet it is not meager. The motivation of the last condition is that under MA_kappa every subspace of the reals of cardinality kappa…

Logic · Mathematics 2007-05-23 Saharon Shelah

Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and \sigma-finite measure to $B$. We…

Functional Analysis · Mathematics 2015-04-13 András Máthé

We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally…

Logic · Mathematics 2019-02-19 Kojiro Higuchi , Steffen Lempp , Diip Raghavan , Frank Stephan

For each vector $x\in \ell^{\infty}$, we can define the non-empty compact set $L_x$ of accumulation points of $x$. Given an infinite subset $A$ of $\mathbb{N}\backslash\{1\}$, we can therefore investigate under which conditions on $A$, the…

Functional Analysis · Mathematics 2023-03-08 Quentin Menet , Dimitris Papathanasiou

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

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

Logic · Mathematics 2018-08-16 Vladimir Kanovei , Vassily Lyubetsky