Related papers: An extension of Kracht's theorem to generalized Sa…
Tate cohomology was originally defined over finite groups. More recently, Avramov and Martsinkovsky showed how to extend the definition so that it now works well over Gorenstein rings. This paper improves the theory further by giving a new…
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was…
Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study…
The q-generalizations of the two fundamental statements of matrix algebra -- the Cayley-Hamilton theorem and the Newton relations -- to the cases of quantum matrix algebras of an "RTT-" and of a "Reflection equation" types have been…
In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficients of the series satisfy a linear recurrence relation. We…
Recently, it was conjectured that the first generalized Stieltjes constant at rational argument may be always expressed by means of Euler's constant, the first Stieltjes constant, the $\Gamma$-function at rational argument(s) and some…
{\AA}qvist's logics (E, F, F+(CM), and G) are among the best-known systems in the long tradition of preference-based approaches for modeling conditional obligation. While the general semantics of preference models align well with…
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
The Feynman-Garrod path integral representation for time evolution is extended to arbitrary one-parameter continuous canonical transformations. One thereupon obtains a generalized Kerner-Sutcliffe formula for the unique quantum…
We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logics serve as the intuitionistic counterparts of classical…
A first-order formulation of gravity is developed in which the fundamental fields consist of an SL(2,C) connection and two spinor-valued 1-forms. It is shown that the first term of an expansion of the Einstein-Hilbert action leads to an…
The aim of this work is to further develop the calculus of (internal) relations for a regular Ord-category C. To capture the enriched features of a regular Ord-category and obtain a good calculus, the relations we work with are precisely…
Hilbert's Theorem 90 is a classical result in the theory of cyclic extensions. The quadratic case of Hilbert 90, however, generalizes in noncyclic directions as well. Informed by a poem of Richard Wilbur, the article explores several…
Recent insights into the conceptual structure of localization in QFT ("modular localization") led to clarifications of old unsolved problems. The oldest one is the Einstein-Jordan conundrum which led Jordan in 1925 to the discovery of…
We continue the development of the homological theory of quantum general linear groups previously considered by the first author. The development is used to transfer information to the representation theory of quantised Schur algebras. The…
First-order linear temporal logic (FOLTL) is a flexible and expressive formalism capable of naturally describing complex behaviors and properties. Although the logic is in general highly undecidable, the idea of using it as a specification…
In this paper, a modified formulation of generalized probabilistic theories that will always give rise to the structure of Hilbert space of quantum mechanics, in any finite outcome space, is presented and the guidelines to how to extend…
We develop the theory of a category ${\mathscr C}_A$ which is a generalisation to non-restricted ${\mathfrak g}$-modules of a category famously studied by Andersen, Jantzen and Soergel for restricted ${\mathfrak g}$-modules, where…
Motivated by bifurcation of branches of homoclinic orbits of dynamical systems, we consider families of first-order equations on the real line and introduce a generalisation of previous index theorems by Pejsachowicz, and by Hu and…
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of…