Related papers: Partial Mal'tsevness and partial protomodularity
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting…
The notion of cosilting module was recently introduced as a generalization of the concept of cotilting module. In this paper, it is introduced the notion of finitely cosilting module, i.e. a cosilting module with some finitness conditions,…
A construction is given of Markov partitions for some rational maps, which persist over regions of parameter space, not confined to single hyperbolic components. The set on which the Markov partition exists, and its boundary, are analysed.
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
In this paper, we study a new class of fractional partial differential equations which are obtained by minimizing variational problems in fractional Sobolev spaces. We introduce a notion of fractional gradient which has the potential to…
In this paper we study some frames associated to an $R$-module $M$. We define semiprimitive submodules and we prove that they form an spatial frame canonically isomorphic to the topology of $Max(M)$. We characterize the soberness of…
We study new classes of metric transformations in the context of scalar-tensor theories, which involve both higher derivatives of the scalar field and derivatives of the metric itself. In general, such transformations are not invertible as…
We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic…
A new proof of Imprimitivity theorem for transitive systems of covariance is given and a definition of square-integrable representation modulo a subgroup is proposed. This clarifies the relation between coherent states, wavelet transforms…
The main purpose of this work is to provide a non-local approach to study aspects of structural stability of 3D Filippov systems. We introduce a notion of semi-local structural stability which detects when a piecewise smooth vector field is…
The concept of modulation is generalized to pseudo-modulation and its subclasses including pre-modulation, generalized modulation and regular modulation. The motivation is to define the valued analogue of natural quiver, called {\em natural…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…
We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in order to offer adequate analytic proof systems to logics…
We define a version of spectral invariant in the vortex Floer theory for a $G$-Hamiltonian manifold $M$. This defines potentially new (partial) symplectic quasi-morphism and quasi-states when $M//G$ is not semi-positive. We also establish a…
Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…
We introduce the notion of a {\it mock tridiagonal system}. This is a generalization of a tridiagonal system in which the irreducibility assumption is replaced by a certain non-vanishing condition. We show how mock tridiagonal systems can…
Let $R$ be a commutative Noetherian ring and $E$ the minimal injective cogenerator of the category of $R$-modules. An $R$-module $M$ is (Matlis) reflexive if the natural evaluation map $M \to…
We study nilpotency in the context of exact Mal'tsev categories taking central extensions as the primitive notion. This yields a nilpotency tower which is analysed from the perspective of Goodwillie's functor calculus. We show in particular…