Related papers: Valuative dimension and monomial orders

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$ as $I$ ranges over ideals of $R$. Matson showed that every positive integer occurs as the rank of some ring $R$. Motivated by the result of Cohen and…

We study a graded vector space of polynomials associated to a square matrix, defined by a finite difference condition along the rows. We show this space coincides with one defined by directional derivatives, and prove it is…

Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…

In this paper we study the notion of critical dimension of random simplicial complexes in the general multi-parameter model described in our previous papers of this series. This model includes as special cases the Linial-Meshulam-Wallach…

We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees…

Let $v$ be a rank-one discrete valuation of the field $k((\X))$. We know, after \cite{Bri2}, that if $n=2$ then the dimension of $v$ is 1 and if $v$ is the usual order function over $k((\X))$ its dimension is $n-1$. In this paper we prove…

It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…

Let S be a polynomial ring in n variables, over an arbitrary field. We give the total, graded, and multigraded Betti numbers of S/M, for every monomial ideal M in S. We also give an explicit characterization of all monomial ideals M in S…

We examine Frostman-type characterisations and other extremal measure criteria for a range of fractal dimensions of sets. In particular we derive properties of the less familiar modified lower box dimension and upper correlation dimension.…

We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the…

We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare's conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy's notion of sequential evaluation…

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…

For every positive integral level $k$ we study arithmetic properties of certain holomorphic modular forms associated to modular invariant spaces spanned by graded dimensions of $L_{\hat{sl_2}}(k \Lambda_0)$-modules. We found a necessary and…

The radii of convexity of some Lommel and Struve functions of the first kind are determined. For both of Lommel and Struve functions three different normalizations are applied in such a way that the resulting functions are analytic in the…

In this paper we consider an appropriate ordering of the Laurent monomials $x^{i}y^{j}$, $i,j \in \mathbb{Z}$ that allows us to study sequences of orthogonal Laurent polynomials of the real variables $x$ and $y$ with respect to a positive…

We give an example of a commutative coherent ring of infinite global dimension such that the category of perfect complexes has finite Rouquier dimension.

Let D be a Krull domain and Int(D) the ring of integer-valued polynomials on D. For any f in Int(D), we explicitly construct a divisor homomorphism from [f], the divisor-closed submonoid of Int(D) generated by f, to a finite sum of copies…

We define a multidimensional rearrangement, which is related to classical inequalities for functions that are monotone in each variable. We prove the main measure theoretical results of the new theory and characterize the functional…