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

For a countable, complete, first-order theory $T$, we study $At$, the class of atomic models of $T$. We develop an analogue of $U$-rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are $2^{\aleph_1}$…

We describe how a physical theory incorporating the properties of fields deriving from extra-dimensional structures over a four-dimensional spacetime manifold can in principle be obtained through the analysis of a simple initial structure…

We reduce the study of the Krull dimension d of the deformation ring of the functor of deformations of curves with automorphisms to the study of the tangent space of the deformation functor of a class of matrix representations of the p-part…

The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient…

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…

After motivating the question we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases we can calculate this set, for the general situation we present a conjecture. An easy…

We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated…

The numerical invariants (global) cohomological length, (global) cohomological width, and (global) cohomological range of complexes (algebras) are introduced. Cohomological range leads to the concepts of derived bounded algebras and…

We investigate the differential Krull dimension of differential polynomials over a differential ring. We prove a differential analogue of Jaffard's Special Chain Theorem and show that differential polynomial extensions of certain classes of…

Let $A$ be a ring of dimension $d$ containing an infinite field $k$, $T_1,\ldots,T_r$ be variables over $A$ and $P$ be a projective $A[T_1,\ldots,T_r]$-module of rank $n$. Assume one of the following conditions hold. (1) $2n\geq d+3$ and…

The aim of this survey is to present applications of covering techniques in the theory of Krull-Gabriel dimension. We start with recalling fundamental facts of the classical covering theory of quivers and locally bounded categories. Then we…

This is the first of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank r. In the present part, we develop the analytic theory. Most of the work goes into defining and studying the…

Herbrand's Theorem is a fundamental result in mathematical logic which provides a reduction of first-order formulas satisfied by a universal class to formulas free of existential quantifiers. In this work, a simpler and self-contained…

We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical…

Two (strongly) zero-dimensional Lindel\"of topological groups whose product has positive covering dimension are constructed. An example of a Lindel\"of (strongly) zero-dimensional space whose free and free Abelian topological groups are not…

Inspired by Dickson's classification of regular ternary quadratic forms, we prove that there are no primitive regular $m$-gonal forms when $m$ is sufficiently large. In order to do so, we construct sequences of primes that are inert in a…

Kikyo and Shelah showed that if $T$ is a theory with the Strict Order Property in some first-order language $\mathcal{L}$, then in the expanded language $\mathcal{L}_\sigma := \mathcal{L}\cup\{\sigma\}$ with a new unary function symbol…

Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…

We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal…

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…