Related papers: Implicative-ortholattices as orthogonality spaces
In this paper we intend to study implications in their most general form, generalizing different classes of implications including the Heyting implication, sub-structural implications and weak strict implications. Following the topological…
Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost…
We show that the propositional system of a many-box model is always a set-representable effect algebra. In particular cases of 2-box and 1-box models it is an orthomodular poset and an orthomodular lattice respectively. We discuss the…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
We discuss the Sasakian geometry of odd dimensional homotopy spheres. In particular, we give a completely new proof of the existence of metrics of positive Ricci curvature on exotic spheres that can be realized as the boundary of a…
This work builds on the foundation laid by Gordon and Wilson in the study of isometry groups of solvmanifolds, i.e. Riemannian manifolds admitting a transitive solvable group of isometries. We restrict ourselves to a natural class of…
Associated varieties are geometric objects appearing in infinite-dimensional representations of semisimple Lie algebras (groups). By applying Fourier transformations to the natural orthogonal oscillator representations of special linear Lie…
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
In this paper, the intuitive idea of tilt is formalised into the rigorous concept of tilt rotations. This is motivated by the high relevance that pure tilt rotations have in the analysis of balancing bodies in 3D, and their applicability to…
This paper is an introduction to polarizations in the symplectic and orthogonal settings. They arise in association to a triple of compatible structures on a real vector space, consisting of an inner product, a symplectic form, and a…
We consider the self-dual vortex equations on a positive line bundle L --> M over a compact Kaehler manifold of arbitrary dimension. When M is simply connected, the moduli space of vortex solutions is a projective space. When M is an…
We consider Lorentzian manifolds as examples of partially ordered measure spaces, sets endowed with compatible partial order relations and measures, in this case given by the causal structure and the volume element defined by each…
We show that a Calabi-Yau structure of dimension $d$ on a smooth dg category $C$ induces a symplectic form of degree $2-d$ on the moduli space of objects $M_{C}$. We show moreover that a relative Calabi-Yau structure on a dg functor $C \to…
We study the number of planes for four dimensional projective hypersurfaces which has so-called inductive structure. We also determine transcendental lattices for cubic fourfolds of this type.
A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed…
In this paper, we treat moduli spaces of parabolic connections. We take \'etale coverings of the moduli spaces, and we construct a Hamiltonian structure of an algebraic vector field determined by the isomonodromic deformation for each…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
In general, a Kobayashi-Hitchin correspondence establishes an isomorphism between a moduli space of stable algebraic geometric objects and a moduli space of solutions of a certain (generalized) Hermite-Einstein equation. We believe that,…
We provide two new characterizations of bounded orthogonally additive polynomials from a uniformly complete vector lattice into a convex bornological space using harmonic means and completely partitioned weighted geometric means. Our result…
Implicational bases are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple bases. Among these, the canonical base, the canonical…