English
Related papers

Related papers: Krull dimension of types in a class of first-order…

200 papers

By analysing the structure of the associated graded ring with respect to certain filtrations, we deduce a number of good properties of iterated local skew power series rings over appropriate base rings. In particular, we calculate the Krull…

Rings and Algebras · Mathematics 2018-11-27 William Woods

Assume that $K$ is an algebraically closed field, $R$ a locally support-finite locally bounded $K$-category, $G$ a torsion-free admissible group of $K$-linear automorphisms of $R$ and $A=R/G$. We show that the Krull-Gabriel dimension…

Representation Theory · Mathematics 2022-10-24 Grzegorz Pastuszak

We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is…

Probability · Mathematics 2013-09-25 Roland M. Friedrich , John McKay

We establish estimates for the number of ways to represent any reduced residue class as a product of a prime and an integer free of small prime factors. Our best results is conditional on the Generalised Riemann hypothesis (GRH). As a…

Number Theory · Mathematics 2021-07-07 Kam Hung Yau

Transfer Krull monoids are a recent concept including all commutative Krull domains and also, for example, wide classes of non-commutative Dedekind domains. We show that transfer Krull monoids are fully elastic (i.e., every rational number…

Commutative Algebra · Mathematics 2019-01-31 Alfred Geroldinger , Qinghai Zhong

We rewrite simplicially the standard definitions of a complete first order theory, a model of it, and various characterisations of stability of a complete first order theory. In our reformulations the simplicial language replaces the…

Category Theory · Mathematics 2025-10-02 Misha Gavrilovich

We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…

Rings and Algebras · Mathematics 2009-11-27 Laurent Bartholdi

We prove a conjecture of Gromov's to the effect that manifolds with isotropic curvature bounded below by 1 (after possibly rescaling) are macroscopically 1-dimensional on the scales greater than 1. As a consequence we prove that compact…

Differential Geometry · Mathematics 2013-10-07 Gabriele La Nave

This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy…

Logic · Mathematics 2018-10-24 Guillermo Badia , Carles Noguera

We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that…

Statistics Theory · Mathematics 2026-03-04 Carlos Améndola , Viet Duc Nguyen , Janike Oldekop

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

Logic · Mathematics 2007-05-23 Saharon Shelah

As a consequence of the classification of finite simple groups, the classification of permutation groups of prime degree is complete, apart from the question of when the natural degree $(q^n-1)/(q-1)$ of ${\rm L}_n(q)$ is prime. We present…

Number Theory · Mathematics 2020-12-08 Gareth A. Jones , Alexander K. Zvonkin

We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the…

Rings and Algebras · Mathematics 2015-05-15 Adam Chapman , David J. Grynkiewicz , Eliyahu Matzri , Louis H. Rowen , Uzi Vishne

Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory. We present several constructions with increasing…

Logic · Mathematics 2015-10-21 Levon Haykazyan

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

Logic · Mathematics 2013-04-15 Vera Koponen

In the present work, we prove that every class of the divisor class group of a Krull monoid algebra contains infinitely many prime divisors. Several attempts to this result have been made in the literature so far, unfortunately with open…

Commutative Algebra · Mathematics 2021-01-13 Victor Fadinger , Daniel Windisch

We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…

Representation Theory · Mathematics 2025-07-31 Kevin Schlegel , Andres Fernandez Herrero

In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length…

Representation Theory · Mathematics 2020-06-09 Sibylle Schroll , Hipolito Treffinger

We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…

Logic · Mathematics 2020-02-24 Thomas G. Kucera , Marcos Mazari-Armida

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

Logic · Mathematics 2025-03-14 Alessandro Berarducci , Marcello Mamino , Rosario Mennuni