English
Related papers

Related papers: Categoricity in multiuniversal classes

200 papers

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

Logic · Mathematics 2017-01-04 Sergey V. Sudoplatov

In this paper we provide purely model-theoretic (algebraic) characterisations for classes definable in second-order logic and for pseudo-elementary classes (including PC and PC_{\Delta} classes). Classical results of this flavour include…

Logic · Mathematics 2026-05-12 János Balázs Ivanyos

Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.

Algebraic Geometry · Mathematics 2007-05-23 Nguyen Quang Loc , Grzegorz Zwara

We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $\lambda$ such that whenever $M, N \in K$ have…

Logic · Mathematics 2015-10-19 Will Boney , Sebastien Vasey

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

Category Theory · Mathematics 2015-11-02 Hideto Asashiba

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…

Category Theory · Mathematics 2010-02-04 Tom Leinster

Let K be an Abstract Elemenetary Class satisfying the amalgamation and the joint embedding property, let \mu be the Hanf number of K. Suppose K is tame. MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than…

Logic · Mathematics 2007-05-23 Rami Grossberg , Monica VanDieren

It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations $f\colon B^n\to B$, and classes (coclones) of…

Logic · Mathematics 2018-04-24 Emil Jeřábek

We introduce and develop a structure theory of a new class of noncommutative rings - Galois orders, that generalize classical orders in noncommutative rings. Galois orders realized as certain subrings of invariants in skew semigroup rings.…

Representation Theory · Mathematics 2008-09-16 Vyacheslav Futorny , Serge Ovsienko

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…

Geometric Topology · Mathematics 2025-01-07 Benjamin Daniels , Melissa Zhang

Let $(\mathcal{K} ,\subseteq )$ be a universal class with $LS(\mathcal{K})=\lambda$ categorical in regular $\kappa >\lambda^+$ with arbitrarily large models, and let $\mathcal{K}^*$ be the class of all $\mathcal{A}\in\mathcal{K}_{>\lambda}$…

Logic · Mathematics 2018-01-10 Tapani Hyttinen , Kaisa Kangas

Nichols algebras of group type with many cubic relations are classified under a technical assumption on the structure of Hurwitz orbits of the third power of the underlying indecomposable rack. All such Nichols algebras are…

Quantum Algebra · Mathematics 2015-10-29 I. Heckenberger , A. Lochmann , L. Vendramin

We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary…

Logic · Mathematics 2020-12-29 Christian Espíndola

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

Category Theory · Mathematics 2026-03-02 Ismael Gutierrez Garcia , Luz Adriana Mejía Castaño

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational…

Algebraic Geometry · Mathematics 2019-02-20 Martin Orr , Alexei N. Skorobogatov

We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for…

Representation Theory · Mathematics 2014-01-14 Bernhard Keller , Idun Reiten

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

Group Theory · Mathematics 2022-06-23 Peter M Higgins , Marcel Jackson

We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Ne\v{s}et\v{r}il-R\"odl Theorem, the Ramsey property of partial orders and metric spaces as well…

Combinatorics · Mathematics 2019-09-04 Jan Hubička , Jaroslav Nešetřil

Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…

Category Theory · Mathematics 2007-05-23 Michael Mueger

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…

Rings and Algebras · Mathematics 2022-10-13 Mike Behrisch