Related papers: Corrigendum & Addendum to: Variations on a Visseri…

Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic calculus KM (Kuznetsov's Theorem). Then, we show that this…

We prove a canonical Kuenneth decomposition of the relative motive with rational coefficients of a smooth commutative group scheme over a noetherian finite dimensional base. This paper is a follow-up of "On the motive of a commutative…

We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…

In this paper we give a new proof of the Ne\v{s}et\v{r}il-R\"odl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate…

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

We present a proof of the algorithm for computing line bundle valued cohomology classes over toric varieties conjectured by R.~Blumenhagen, B.~Jurke and the authors (arXiv:1003.5217) and suggest a kind of Serre duality for combinatorial…

This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group…

In this paper we study the kinetic theory of many-particle astrophysical systems imposing axial symmetry and extending our previous analysis in Phys. Rev. D 83, 123007 (2011). Starting from a Newtonian model describing a collisionless…

By a well known theorem of K.S. Brown an action of a discrete group on a simply-connected complex allows to construct a presentation of this group modulo the stabilizers of vertices. The main goal of the present paper is to provide a new…

In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…

We give combinatorial proofs of several recent results due to Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$. The proofs make use of some well known involutions from the literature and some new…

Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich…

We extend our family rigidity and vanishing theorems in [{\bf LiuMaZ}] to the Spin^c case. In particular, we prove a K-theory version of the main results of [{\bf H}], [{\bf Liu1}, Theorem B] for a family of almost complex manifolds.

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that…

We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the…

We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a…

In this survey-research paper, we first introduce the theory of Smith classes of complexes with fixed-point free, periodic maps on them. These classes, when defined for the deleted product of a simplicial complex $K$, are the same as the…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…

We establish the deformation theory of Lie groupoid morphisms, describe the corresponding deformation cohomology of morphisms, and show the properties of the cohomology. We prove its invariance under isomorphisms of morphisms. Additionally,…

Conditions for positive and polynomial recurrence have been proposed for a class of reliability models of two elements with transitions from working state to failure and back. As a consequence, uniqueness of stationary distribution of the…