English
Related papers

Related papers: A survey on tame abstract elementary classes

200 papers

We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…

Group Theory · Mathematics 2024-01-29 Jianbei An , Heiko Dietrich , Alastair J. Litterick

Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable $(\infty,1)$-categories, while the…

Category Theory · Mathematics 2018-12-04 Benjamin Hennion

We deal with the existence of universal members in a given cardinality for several classes. First we deal with classes of Abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular…

Logic · Mathematics 2021-09-07 Saharon Shelah

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 that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…

Algebraic Topology · Mathematics 2009-12-24 Gérald Gaudens

We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class…

Number Theory · Mathematics 2017-02-16 Chandan Singh Dalawat , Jung-Jo Lee

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

Category Theory · Mathematics 2025-08-05 Ivan Di Liberti

We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…

Logic · Mathematics 2018-04-04 Sebastien Vasey

Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for different types of automata. The CALF project seeks to unify…

Formal Languages and Automata Theory · Computer Science 2023-02-03 Gerco van Heerdt , Tobias Kappé , Jurriaan Rot , Matteo Sammartino , Alexandra Silva

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

For a tensor triangulated category and any regular cardinal $\alpha$ we study the frame of $\alpha$-localizing tensor ideals and its associated space of points. For a well-generated category and its frame of localizing tensor ideals we…

Category Theory · Mathematics 2022-09-07 Henning Krause , Janina C. Letz

Automata learning is a technique that has successfully been applied in verification, with the automaton type varying depending on the application domain. Adaptations of automata learning algorithms for increasingly complex types of automata…

Formal Languages and Automata Theory · Computer Science 2017-06-27 Gerco van Heerdt , Matteo Sammartino , Alexandra Silva

In this article, gentle algebras are realised as tiling algebras, which are associated to partial triangulations of unpunctured surfaces with marked points on the boundary. This notion of tiling algebras generalise the notion of Jacobian…

Representation Theory · Mathematics 2018-03-16 Karin Baur , Raquel Coelho Simoes

For any $n$-ary associative algebra we construct a $\Z_{n-1}$ graded algebra, which is a universal object containing the $n$-ary algebra as a subspace of elements of degree 1. Similar construction is carried out for semigroups.

Rings and Algebras · Mathematics 2007-05-23 Andrzej Sitarz

Let G be a simple complex algebraic group. By using a notion of a G-category we define invariants of tangles with flat G-connections in their complements. We also show that quantized universal enveloping algebras at roots of unity provide…

Quantum Algebra · Mathematics 2010-08-10 R. Kashaev , N. Reshetikhin

In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a…

Algebraic Topology · Mathematics 2024-03-26 Wojciech Chachólski , Barbara Giunti , Claudia Landi , Francesca Tombari

Working in the context of $\mu$-abstract elementary classes ($\mu$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying…

Logic · Mathematics 2019-04-30 Michael Lieberman , Jiří Rosický , Sebastien Vasey

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

Logic · Mathematics 2024-12-23 Lorna Gregory

We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are…

Commutative Algebra · Mathematics 2022-09-08 Anna Rzepka , Piotr Szewczyk

Was paper 839 in the author's list until winter 2023 when it was divided into three. Part I: We would like to generalize imaginary elements, weight of ortp$(a,M,N), {\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [She90, Ch.…

Logic · Mathematics 2023-04-11 Saharon Shelah