Related papers: Equidecomposition in cardinal algebras

A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…

Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

We study the Borel and analytic subsets of the spaces \({}^{\kappa}\kappa\) and \({}^{\kappa}2\) endowed with ideal topologies, where \(\kappa\) is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in…

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

For a metric space $X$ with a compatible measure $\mu$, Genevois and Tessera defined the Scaling Group of $(X,\mu)$ as the subgroup $\Gamma$ of $\mathbb{R}_{>0}$ of positive real numbers $\gamma$ for which there are quasi-isometries of $X$…

Building on work of Popa, Ioana, and Epstein--T\"{o}rnquist, we show that, for every nonamenable countable discrete group $\Gamma$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing)…

Consider two free measure preserving group actions $\Gamma \actson (X, \mu), \Delta \actson (X, \mu)$, and a measure preserving action $\Delta \actson^a (Z, \nu)$ where $(X, \mu), (Z, \nu)$ are standard probability spaces. We show how to…

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

The equivariant coarse Novikov conjecture provides an algorithm for determining nonvanishing of equivariant higher index of elliptic differential operators on noncompact manifolds. In this article, we prove the equivariant coarse Novikov…

Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of…

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…

Let $\mu$ be a probability measure on the real line. In this paper we prove that there exists a decomposition $\mu = \mu_{0} \boxplus \mu_{1} \boxplus \... \boxplus \mu_{n} \boxplus \...$ such that $\mu_{0}$ is infinitely divisible and…

Under a mild definability assumption, we characterize the family of Borel actions $\Gamma \curvearrowright X$ of tsi Polish groups on Polish spaces that can be decomposed into countably-many actions admitting complete Borel sets that are…

We establish a generalization of Bourgain double recurrence theorem by proving that for any map $T$ acting on a probability space $(X,\mathcal{A},\mu)$, and for any non-constant polynomials $P, Q$ mapping natural numbers to themselves, for…

A cardinal k is called a Kunen cardinal if the sigma-algebra on k x k generated by all products AxB, coincides with the power set of k x k. For any cardinal k, let C(2^k) be the Banach space of all continuous real-valued functions on the…