English
Related papers

Related papers: Classifying invariants for $E_1$: A tail of a gene…

200 papers

Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^\kappa_T$ on its models of size…

Logic · Mathematics 2020-04-07 Francesco Mangraviti , Luca Motto Ros

We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…

Logic · Mathematics 2013-06-28 Luca Motto Ros

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

Logic · Mathematics 2021-02-18 Filippo Calderoni , Heike Mildenberger , Luca Motto Ros

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

Logic · Mathematics 2015-10-19 Richard Rast , Davender Singh Sahota

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

Logic · Mathematics 2025-03-31 Georgios Marangelis

In the present paper we review the progress of the project of classification and construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we called earlier…

High Energy Physics - Theory · Physics 2015-06-18 V. K. Dobrev

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

Logic · Mathematics 2026-03-30 Su Gao , André Nies , Gianluca Paolini

We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…

Algebraic Topology · Mathematics 2025-12-16 Ekansh Jauhari , John Oprea

In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after…

Algebraic Topology · Mathematics 2022-08-17 Hisham Sati , Urs Schreiber

In the original version of this paper, we assume a theory $T$ that the logic $\mathbb L_{\kappa, \aleph_{0}}$ is categorical in a cardinal $\lambda > \kappa$, and $\kappa$ is a measurable cardinal. There we prove that the class of model of…

Logic · Mathematics 2024-03-05 Oren Kolman , Saharon Shelah

Let $F_{\omega_1}$ be the countable admissible ordinal equivalence relation defined on ${}^\omega 2$ by $x \ F_{\omega_1} \ y$ if and only if $\omega_1^x = \omega_1^y$. It will be shown that $F_{\omega_1}$ is classifiable by countable…

Logic · Mathematics 2016-02-01 William Chan

We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…

Operator Algebras · Mathematics 2023-09-06 Laurent Cantier

The results of this paper contribute to the study of invariant measures of Borel dynamical systems that can be modeled using generalized Bratteli diagrams. In this context, we study tail invariant measures on the path spaces of generalized…

Dynamical Systems · Mathematics 2026-02-24 Sergey Bezuglyi , Palle Jorgensen , Olena Karpel , Thiago Raszeja , Shrey Sanadhya

Bratteli-Vershik models have been very successfully applied to the study of various dynamical systems, in particular, in Cantor dynamics. In this paper, we study dynamics on the path spaces of generalized Bratteli diagrams that form models…

Dynamical Systems · Mathematics 2023-07-14 Sergey Bezuglyi , Palle E. T. Jorgensen , Olena Karpel , Shrey Sanadhya

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

We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between…

Logic · Mathematics 2016-03-14 Krzysztof Krupiński , Tomasz Rzepecki

For any truncated path algebra $\Lambda$ of a quiver, we classify, by way of representation-theoretic invariants, the irreducible components of the parametrizing varieties $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ of the $\Lambda$-modules with…

Representation Theory · Mathematics 2019-12-20 K. R. Goodearl , B. Huisgen-Zimmermann

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

Logic · Mathematics 2025-12-10 Krzysztof Krupiński , Anand Pillay , Tomasz Rzepecki

Here we shall consider the topology and dynamics associated to a wide class of matchbox manifolds, including a large selection of tiling spaces and all minimal matchbox manifolds of dimension one. For such spaces we introduce topological…

Dynamical Systems · Mathematics 2016-02-16 Alex Clark , John Hunton

In the paper I introduce a new characteristic class $c(E)$ for a finite rank vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of $E$. The class $c(E)$ is not a characteristic class in the classical sense in the…

Algebraic Geometry · Mathematics 2025-04-22 Helge Øystein Maakestad
‹ Prev 1 2 3 10 Next ›