English
Related papers

Related papers: Polish G-spaces, the generalized model theory and …

200 papers

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Logic · Mathematics 2018-02-08 Filippo Calderoni , Luca Motto Ros

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

Logic · Mathematics 2007-05-23 Randall Dougherty , Alexander S. Kechris

This paper studies transition probabilities from a Borel subset of a Polish space to a product of two Borel subsets of Polish spaces. For such transition probabilities it introduces and studies the property of semi-uniform Feller…

Probability · Mathematics 2023-01-09 Eugene A. Feinberg , Pavlo O. Kasyanov , Michael Z. Zgurovsky

CONTENTS OF THE ISSUE: Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty…

General Topology · Mathematics 2008-12-31 Boaz Tsaban

Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well…

Logic in Computer Science · Computer Science 2024-06-25 Nick Bezhanishvili , Laura Bussi , Vincenzo Ciancia , David Fernández-Duque , David Gabelaia

We study generalized filters that are associated to multiplicity functions and homomorphisms of the dual of an abelian group. These notions are based on the structure of generalized multiresolution analyses. We investigate when the Ruelle…

Classical Analysis and ODEs · Mathematics 2008-12-12 Lawrence W. Baggett , Veronika Furst , Kathy D. Merrill , Judith A. Packer

A display of a topological group G on a Banach space X is a topological isomorphism of G with the isometry group Isom(X,||.||) for some equivalent norm ||.|| on X, where the latter group is equipped with the strong operator topology.…

Group Theory · Mathematics 2011-10-14 Valentin Ferenczi , Christian Rosendal

I consider the following generic scenario: an abstract model M of some 'real' system is only partially presented, or partially known to us, and we have to ensure that the actual system satisfies a given specification, formalised in some…

Logic in Computer Science · Computer Science 2020-12-24 Valentin Goranko

By employing polynomial-reduced KP integrability, combined with the string equation, this work establishes explicit relationships between the generalized Kontsevich model, the topological recursion of the spectral curve, and the geometry of…

Mathematical Physics · Physics 2026-05-05 Shuai Guo , Ce Ji , Chenglang Yang , Qingsheng Zhang

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…

Functional Analysis · Mathematics 2016-08-17 Gogi Rauli Pantsulaia

We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish…

Logic · Mathematics 2014-09-22 Joseph Zielinski

We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are…

Logic · Mathematics 2010-04-22 Itaï Ben Yaacov

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

K-Theory and Homology · Mathematics 2012-01-24 Michael Joachim , Wolfgang Lueck

We reconsider the spinfoam dynamics that has been recently introduced, in the generalized Kaminski-Kisielowski-Lewandowski (KKL) version where the foam is not dual to a triangulation. We study the Euclidean as well as the Lorentzian case.…

General Relativity and Quantum Cosmology · Physics 2011-06-27 You Ding , Muxin Han , Carlo Rovelli

We develop new tools to analyze the complexity of the conjugacy equivalence relation $E_\mathsf{lo}(G)$, whenever $G$ is a left-orderable group. Our methods are used to demonstrate non-smoothness of $E_\mathsf{lo}(G)$ for certain groups $G$…

Logic · Mathematics 2024-10-01 Filippo Calderoni , Adam Clay

This paper considers the Lorentz space with mixed norm of periodic functions of many variables and of the generalized Nikol'skii -- Besov classes. Estimates for the order of approximation of the generalized Nikol'skii -- Besov classes by…

Classical Analysis and ODEs · Mathematics 2016-06-06 G. Akishev

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

Functional Analysis · Mathematics 2023-02-02 Raj Dahya

The goal of this paper is to show that fundamental concepts in higher-order Fourier analysis can be nauturally extended to the non-commutative setting. We generalize Gowers norms to arbitrary compact non-commutative groups. On the…

Group Theory · Mathematics 2024-07-11 Balazs Szegedy

Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we study a particular family of these logics, extending the…

Logic in Computer Science · Computer Science 2025-12-01 Daniil Kozhemiachenko , Igor Sedlár

We introduce and investigate a number of fragments of propo- sitional temporal logic LTL over the flow of time (Z, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal normal form of…

Logic in Computer Science · Computer Science 2013-10-11 A. Artale , R. Kontchakov , V. Ryzhikov , M. Zakharyaschev
‹ Prev 1 3 4 5 6 7 10 Next ›