scholarly journals On many-sorted algebraic closure operators

2004 ◽  
Vol 266 (1) ◽  
pp. 81-84 ◽  
Author(s):  
Juan Climent Vidal ◽  
Juan Soliveres Tur
1989 ◽  
Vol 39 (1) ◽  
pp. 31-48 ◽  
Author(s):  
Frank P. Prokop

In this paper neighbourhood lattices are developed as a generalisation of topological spaces in order to examine to what extent the concepts of “openness”, “closedness”, and “continuity” defined in topological spaces depend on the lattice structure of P(X), the power set of X.A general pre-neighbourhood system, which satisfies the poset analogues of the neighbourhood system of points in a topological space, is defined on an ∧-semi-lattice, and is used to define open elements. Neighbourhood systems, which satisfy the poset analogues of the neighbourhood system of sets in a topological space, are introduced and it is shown that it is the conditionally complete atomistic structure of P(X) which determines the extension of pre-neighbourhoods of points to the neighbourhoods of sets.The duals of pre-neighbourhood systems are used to generate closed elements in an arbitrary lattice, independently of closure operators or complementation. These dual systems then form the backdrop for a brief discussion of the relationship between preneighbourhood systems, topological closure operators, algebraic closure operators, and Čech closure operators.Continuity is defined for functions between neighbourhood lattices, and it is proved that a function f: X → Y between topological spaces is continuous if and only if corresponding direct image function between the neighbourhood lattices P(X) and P(Y) is continuous in the neighbourhood sense. Further, it is shown that the algebraic character of continuity, that is, the non-convergence aspects, depends only on the properites of pre-neighbourhood systems. This observation leads to a discussion of the continuity properties of residuated mappings. Finally, the topological properties of normality and regularity are characterised in terms of the continuity properties of the closure operator on a topological space.


2001 ◽  
Vol 66 (4) ◽  
pp. 1884-1898
Author(s):  
Steven Buechler ◽  
Colleen Hoover

Abstract.Certain basic concepts of geometrical stability theory are generalized to a class of closure operators containing algebraic closure. A specific case of a generalized closure operator is developed which is relevant to Vaught's conjecture. As an application of the methods, we proveTheorem A. Let G be a superstate group of U-rank ω such that the generics of G are locally modular and Th(G) has few countable models. Let G− be the group of nongeneric elements of G. G+ = Go + G−. Let Π = {q ∈ S(∅): U(q) < ω}. For any countable model M of Th(G) there is a finite A ⊂ M such thai M is almost atomic over A ∪ (G+ ∩ M) ∪ ⋃p∈Πp(M).


2021 ◽  
Vol 179 (1) ◽  
pp. 59-74
Author(s):  
Josef Šlapal

In this paper, we propose new definitions of digital Jordan curves and digital Jordan surfaces. We start with introducing and studying closure operators on a given set that are associated with n-ary relations (n > 1 an integer) on this set. Discussed are in particular the closure operators associated with certain n-ary relations on the digital line ℤ. Of these relations, we focus on a ternary one equipping the digital plane ℤ2 and the digital space ℤ3 with the closure operator associated with the direct product of two and three, respectively, copies of this ternary relation. The connectedness provided by the closure operator is shown to be suitable for defining digital curves satisfying a digital Jordan curve theorem and digital surfaces satisfying a digital Jordan surface theorem.


2012 ◽  
Vol 2012 ◽  
pp. 1-11
Author(s):  
Hongping Liu ◽  
Qingguo Li ◽  
Xiangnan Zhou

This paper focuses on the relationship betweenL-posets and completeL-lattices from the categorical view. By considering a special class of fuzzy closure operators, we prove that the category of completeL-lattices is a reflective full subcategory of the category ofL-posets with appropriate morphisms. Moreover, we characterize the Dedekind-MacNeille completions ofL-posets and provide an equivalent description for them.


2004 ◽  
Vol 27 (2) ◽  
pp. 147-151
Author(s):  
Eraldo Giuli ◽  
Horst Herrlich
Keyword(s):  

2005 ◽  
Vol 13 (5-6) ◽  
pp. 453-467 ◽  
Author(s):  
G. Castellini ◽  
E. Giuli
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document