Related papers: Predicative theories of continuous lattices

In this paper, we study some characterizations of fuzzifying strong compactness including nets and pre-subbases properties. We also introduve new characterizations of locally strong compactness in fuzzifying topology and mappings.

In this paper, we provide an alternative description of the duality result for distributive lattices and coherent locales using ultraposet. In particular, we show that there are fully faithful embeddings from the opposite of the category of…

A mixed lattice vector space is a partially ordered vector space with two partial orderings, generalizing the notion of a Riesz space. Whereas the algebraic theory of mixed lattice structures dates back to the 1970s, the topological theory…

We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…

In this article we investigate the relations between three classes of lattices each extending the class of distributive lattices in a different way. In particular, we consider join-semidistributive, join-extremal and left-modular lattices,…

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…

It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced…

In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…

Patch lattices, introduced by G. Cz\'edli and E.T. Schmidt in 2013, are the building stones for slim (and so necessarily finite and planar) semimodular lattices with respect to gluing. Slim semimodular lattices were introduced by G.…

In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…

We prove the classification of joinings for maximal horospherical subgroups acting on homogeneous spaces without any restriction on the characteristic. Using the linearization technique we deduce a special case of Raghunathan's orbit…

In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…

This paper primarily studies monomial ideals by their associated lcm-lattices. It first introduces notions of weak coordinatizations of finite atomic lattices which have weaker hypotheses than coordinatizations and shows the…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

Approximate lattices of locally compact groups were first studied in a seminal monograph of Yves Meyer and were subsequently used in the theory of aperiodic order to model objects such as Pisot numbers, quasi-cristals or aperiodic tilings.…

We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings. In particular, it implies that any exact filling of the standard unit cotangent bundle of a hyperbolic surface has vanishing first Chern class and has the…

We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…

A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph…

A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and…

In this paper we are interested in the isotopy classes of symplectic log Calabi-Yau divisors in a fixed symplectic rational surface. We give several equivalent definitions and prove the stability, finiteness and rigidity results. Motivated…