Related papers: Dimensions on Lattice Ordered Abelian Groups and M…

We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains whose localizations at maximal ideals have dense value groups. For B\'ezout domains, these…

Let B be a commutative B\'ezout domain B and let MSpec(B) be the maximal spectrum of B. We obtain a Feferman-Vaught type theorem for the class of B-modules. We analyse the definable sets in terms, on one hand, of the definable sets in the…

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical…

We consider the lattice-ordered groups Inv$(R)$ and Div$(R)$ of invertible and divisorial fractional ideals of a completely integrally closed Pr\"ufer domain. We prove that Div$(R)$ is the completion of the group Inv$(R)$, and we show there…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

We build a bridge from density combinatorics to dimension theory of continued fractions. We establish a fractal transference principle that transfers common properties of subsets of $\mathbb N$ with positive upper density to properties of…

Motivated by the Pontryagin-Hill criteria of freeness for abelian groups, we investigate conditions under which unions of ascending chains of projective modules are again projective. Several extensions of these criteria are proved for…

Dual lattice is an important concept of Euclidean lattices. In 2024, Deng gave the definition to the concept of the dual lattice of a $p$-adic lattice from the duality theory of locally compact abelian groups. He also proved some important…

We give an explicit dimension formula for paramodular forms of degree two of prime level with plus or minus sign of the Atkin--Lehner involution of weight $\det^k\operatorname{Sym}(j)$ with $k\geq 3$, as well as a dimension formula for…

We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems…

We define for arbitrary modules over a finite von Neumann algebra $\cala$ a dimension taking values in $[0,\infty]$ which extends the classical notion of von Neumann dimension for finitely generated projective $\cala$-modules and inherits…

Given a von Neumann algebra $M$ equipped with a faithful normal strictly semifinite weight $\varphi$, we develop a notion of Murray-von Neumann dimension over $(M,\varphi)$ that is defined for modules over the basic construction associated…

In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is…

We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the…

Let $\A$ be an abelian category having enough projective objects and enough injective objects. We prove that if $\A$ admits an additive generating object, then the extension dimension and the weak resolution dimension of $\A$ are identical,…

We extend the classical Titchmarsh theorems to the Fourier transform of two types of H\"older-Lipschitz functions - additive and multiplicative - defined on fundamental domains of lattices in $\mathbb{R}^d$. Our approach is based on…

A partition of the set of unary pp formulas into four regions is presented, which has a bearing on various structural properties of modules. The machinery developed allows for applications to IF, weakly coherent, nonsingular, and reduced…

For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $\Lambda$, we give the upper bounds of the extension dimension of $\Lambda$ in terms of the radical…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…