Related papers: Mp-residuated lattices
Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free…
Minimal prime graphs (MPGs) are a special class of prime graphs (also known as Gruenberg-Kegel graphs) associated with finite solvable groups. A graph is an MPG if it has at least two vertices, is connected, its complement is triangle-free…
Motivated by recent progress in topological data analysis, we establish a Matlis duality between injective hulls and flat covers of persistence modules. This extends to a duality between minimal flat and minimal injective resolutions. We…
We consider periodically driven potential impurities coupled to the surface states of a two-dimensional topological insulator. The problem is addressed by means of two models, out which the first model is an effective continuum Hamiltonian…
Topological defects are pivotal in elucidating kaleidoscopic topological phenomena in different physical systems. Meron-antimeron pairs are a type of topological defects firstly found as soliton solutions to SU(2) Yang-Mills equations in…
In this article we show that hybrid type-logical grammars are a fragment of first-order linear logic. This embedding result has several important consequences: it not only provides a simple new proof theory for the calculus, thereby…
Lattice resonances in nanoparticle arrays recently have gained a lot of attention because of the possibility to produce spectrally narrow resonant features in transmission and reflection as well as significantly increase absorption in the…
Let $\lambda$ and $\kappa$ be cardinal numbers such that $\kappa$ is infinite and either $2\leq \lambda\leq \kappa$, or $\lambda=2^\kappa$. We prove that there exists a lattice $L$ with exactly $\lambda$ many congruences, $2^\kappa$ many…
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
The Miller-Morita-Mumford classes associate to an oriented surface bundle $E\to B$ a class $\kappa_i(E) \in H^{2i}(B;\Z)$. In this note we define for each prime $p$ and each integer $i\geq 1$ a secondary characteristic class $\lambda_i(E)…
This paper studies the homotopy-type of bi-filtrations of compact manifolds induced as the pre-image of filtrations of the plane for generic smooth functions f : M --> R^2. The primary goal of the paper is to allow for a simple description…
This paper deals with the notion of weak Lawvere-Tierney topology on a topos. Our motivation to study such a notion is based on the observation that the composition of two Lawvere-Tierney topologies is no longer idempotent, when seen as a…
Layered hybrid halide compounds offer promising functional properties, particularly tunable band gaps, conductivity, light harvesting thus making them prospective for applications in photovoltaics and optoelectronics. This study exemplifies…
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…
In this paper we primarily study monomial ideals and their minimal free resolutions by studying their associated LCM lattices. In particular, we formally define the notion of coordinatizing a finite atomic lattice P to produce a monomial…
In this work, we develop a pipeline that associates Persistence Diagrams to digital data via the most appropriate filtration for the type of data considered. Using a grid search approach, this pipeline determines optimal representation…
We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded by the constant 1 denoting the multiplicative unit. Given any positive universal…
We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations $\mid_M$ and…
In this paper, we introduce the notion of pseudo-primary elements and pseudo-classical primary elements in an $L$-module $M$ and obtain their characterizations. The aim of the paper is to show $rad(N)\in M$, the radical of $N\in M$ is prime…
The restricted isometry property (RIP) is essential for the linear map to guarantee the successful recovery of low-rank matrices. The existing works show that the linear map generated by the measurement matrices with independent and…