English
Related papers

Related papers: Polish spaces for countable and separable structur…

200 papers

The absolute logarithmic Weil height is well defined on the group of units of the algebraic closure of the rational numbers, modulo roots of unity, and induces a metric topology on this group. We show that the completion of this metric…

Number Theory · Mathematics 2015-05-13 Daniel Allcock , Jeffrey D. Vaaler

In a previous article by two of the present authors and S. Bonzio, \L ukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work…

Logic · Mathematics 2018-03-15 Ivan Chajda. Davide Fazio , Antonio Ledda

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

Group Theory · Mathematics 2017-10-31 Michael P. Cohen

This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings,…

Algebraic Geometry · Mathematics 2024-01-30 Thibaud Lemanissier , Jérôme Poineau

The regular open subsets of a topological space form a Boolean algebra, where the `join' of two regular open sets is the interior of the closure of their union. A `credence' is a finitely additive probability measure on this Boolean…

General Topology · Mathematics 2021-04-30 Marcus Pivato , Vassili Vergopoulos

We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…

Rings and Algebras · Mathematics 2007-05-23 Constantin M. Petridi , P. B. Krikelis

We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fra\"{\i}ss\'{e} limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is…

Operator Algebras · Mathematics 2019-09-30 Martino Lupini

We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of…

Logic · Mathematics 2016-09-06 Howard Becker , Alexander S. Kechris

The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…

Logic · Mathematics 2019-11-11 Victor Selivanov

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

Logic · Mathematics 2025-08-13 Andrew Apps

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

General Topology · Mathematics 2007-05-23 Ron Peled

$C^*$-algebraic Weyl quantization is extended by allowing also degenerate pre-symplectic forms for the Weyl relations with infinitely many degrees of freedom, and by starting out from enlarged classical Poisson algebras. A powerful tool is…

Mathematical Physics · Physics 2008-12-19 Reinhard Honegger , Alfred Rieckers , Lothar Schlafer

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…

Logic · Mathematics 2013-05-14 Luca Motto Ros

We construct an algebra embedding of the quantum group $U_q(\mathfrak{g})$ into the quantum coordinate ring $\mathcal{O}_q[G^{w_0,w_0}/H]$ of the reduced big double Bruhat cell in $G$. This embedding factors through the Heisenberg double…

Quantum Algebra · Mathematics 2017-01-23 Gus Schrader , Alexander Shapiro

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel…

Logic · Mathematics 2026-02-03 Petr Naryshkin , Andrea Vaccaro

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…

Logic · Mathematics 2016-01-07 Márton Elekes , Zoltán Vidnyánszky

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…

General Topology · Mathematics 2014-06-02 Andrea Medini , Lyubomyr Zdomskyy

For a locally compact group $G$ and a compact subgroup $H$, we show that the Banach space $M(G/H)$ may be considered as a quotient space of $M(G)$. Also, we define a convolution on $M(G/H)$ which makes it into a Banach algebra. It may be…

Classical Analysis and ODEs · Mathematics 2016-06-29 Hossein Javanshiri , Narguess Tavallaei

We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…

Metric Geometry · Mathematics 2018-09-18 David Bate , Sean Li

We study topological groups that can be defined as Polish, pro-countable abelian groups, as non-archimedean abelian groups or as quasi-countable abelian groups, i.e., Polish subdirect products of countable, discrete groups, endowed with the…

Logic · Mathematics 2016-04-26 Maciej Malicki