Related papers: Dagger closure and solid closure in graded dimensi…

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…

We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear…

This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic…

A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but…

Let $F$ be a finite field with characteristic $p > 2$ and let $G$ be the unitary Grassmann algebra generated by an infinite dimensional vector space $V$ over $F$. In this paper, we determine a basis of the $\mathbb{Z}_{2}$-graded polynomial…

A main purpose of this paper is to prove that the class of finite dimensional algebras which verify Han's conjecture is closed under split bounded extensions.

We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…

We review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear…

In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…

We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…

We study several connected problems of holomorphic function spaces on homogeneous Siegel domains. The main object of our study concerns weighted mixed norm Bergman spaces on homogeneous Siegel domains of type II. These problems include:…

We show that well-chosen Lagrangians for a class of two-dimensional integrable lattice equations obey a closure relation when embedded in a higher dimensional lattice. On the basis of this property we formulate a Lagrangian description for…

We give a complete derived equivalence classification of all nonstandard representation-infinite domestic selfinjective algebras over an algebraically closed field. As a consequence, also a complete stable equivalence classification of…

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

O-categories generalize categories of domains to provide just the structure required to compute fixed points of locally continuous functors. Parametrized fixed points are of particular interest to denotational semantics and are often given…

Let $\mathbf{k}$ be a field which is either finite or algebraically closed and let $R = \mathbf{k}[x_1,\ldots,x_n].$ We prove that any $g_1,\ldots,g_s\in R$ homogeneous of positive degrees $\le d$ are contained in an ideal generated by an…

Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that…

We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental…

By definition, an $\m$-primary ideal $I$ in a 2-dimensional regular local ring $(R, \m)$ is contracted if $I=R \cap IR[\m/x]$ for some $x \in \m \setminus \m^2$. Contracted ideals have been introduced by Zariski and used for proving the…