Related papers: Closure operators on dcpos
We define the notion of {\it strongly interlocked} for indecomposable generalized modules for a vertex operator algebra, and show that the notion of graded pseudo-trace is well defined for modules which satisfy this property in certain…
In this paper independent sets of closure operations are introduced. We characterize minimal keys and antikeys of closure operations in terms of independent sets. We establish an expression on the connection between minimal keys and…
Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of…
Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for…
The main theorem provides a characterisation of the finite rank operators lying in a norm closed Lie ideal of a continuous nest algebra. These operators are charaterised as those finite rank operators in the nest algebra satisfying a…
We present fully formalized proofs of some central theorems from combinatorics. These are Dilworth's decomposition theorem, Mirsky's theorem, Hall's marriage theorem and the Erd\H{o}s-Szekeres theorem. Dilworth's decomposition theorem is…
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a…
Consider the lattice of bounded linear operators on the space of Borel measures on a Polish space. We prove that the operators which are continuous with respect to the weak topology induced by the bounded measurable functions form a…
By Thron, a topological space $X$ has the property that $C(X)$ isomorphic to $C(Y)$ implies $X$ is homeomorphic to $Y$ iff $X$ is sober and $T_D$, where $C(X)$ and $C(Y)$ denote the lattices of closed sets of $X$ and $T_0$ space $Y$,…
The lower moments of the unpolarized and polarized deep-inelastic structure functions of the nucleon are calculated on the lattice. The calculation is done with Wilson fermions and for three values of the hopping parameter $\kappa$, so that…
We propose a functional description of rewriting systems where reduction rules are represented by linear maps called reduction operators. We show that reduction operators admit a lattice structure. Using this structure we define the notion…
The purpose of this article is to propose and investigate a partial order structure weaker than the lattice structure and which have nice properties regarding closure operators. We extend accordingly closed pattern mining and formal concept…
The construction of frames for a Hilbert space H can be equated to the decomposition of the frame operator as a sum of positive operators having rank one. This realization provides a different approach to questions regarding frames with…
We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…
This paper introduce a new class of operators and contraction mapping for a cyclical map T on G-metric spaces and the approximately fixed point properties. Also,we prove two general lemmas regarding approximate fixed Point of cyclical…
We continue work on the topology obtained by the convergence $\lambda_{ls}$, which started in \cite{KuPaCZ}, and further investigated in \cite{KuPaFil19}. The main goal is to describe the closed sets and closure operator by the family of…
In this paper, we give a brief review concerning diskcyclic operators and then we provide some further characterizations of diskcyclic operators on separable Hilbert spaces. In particular, we show that if $x\in {\mathcal H}$ has a disk…
Motivated by quite recent research involving the relationship between the dimension of a poset and graph-theoretic properties of its cover graph, we show that for every $d\geq 1$, if $P$ is a poset and the dimension of a subposet $B$ of $P$…
A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can…
For any Tychonoff space $X$ let $D(X)$ be either the set $C(X)$ of all continuous functions on $X$ or the set $C^*(X)$ of all bounded continuous functions on $X$. When $D(X)$ is endowed with the point convergence topology, we write…