We introduce and study Alexander $r$-Tuples $\mathcal{K} = \langle K_i \rangle ^r_{i=1}$ of simplicial complexes, as a common generalization of pairs of Alexander dual complexes (Alexander 2-tuples) and r-unavoidable ...

We present three finitary cut-free sequent calculi for the modal $μ$-calculus. Two of these derive annotated sequents in the style of Stirling’s ‘tableau proof system with names’ (2014) and feature special inferences that ...

We show that Killing tensors on conformally at n-dimensional tori whose conformal factor only depends on one variable, are polynomials in the metric and in the Killing vector fields. In other words, every first integral ...

We show that every tight contact structure on any of the lens spaces $L(ns^2 - s + 1,s^2)$ with $n\geq 2, s \geq 1$, can be obtained by a single Legendrian surgery along a suitable Legendrian realisation of the negative ...

We give sufficient conditions on the regularity of solutions to the inhomogeneous incompressible Euler and the compressible isentropic Euler systems in order for the energy to be conserved. Our strategy relies on commutator ...

We prove first (Proposition 3) that, over any ring $R$, an acyclic complex of projective modules is totally acyclic if and only if the cycles of every acyclic complex of Gorenstein projective modules are Gorenstein projective. ...