Loading [MathJax]/extensions/MathZoom.js
It is known that for a nonempty topological space and a nonsingleton complete lattice endowed with the Scott topology, the partially ordered set of all continuous functions from into is a continuous lattice if and only if both and the open set lattice are continuous lattices. This result extends to certain classes of -distributive lattices, where is a subset system replacing the system of all directed subsets (for which the -distributive complete lattices are just the continuous...
Let be a type of algebras. A valuation of terms of type is a function assigning to each term of type a value . For , an identity of type is said to be -normal (with respect to valuation ) if either or both and have value . Taking with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called -normal (with respect to the valuation ) if all its identities are -normal. For any variety , there is a least...
We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...
The concept of -ideals is introduced in a pseudo-complemented distributive lattice and some properties of these ideals are studied. Stone lattices are characterized in terms of -ideals. A set of equivalent conditions is obtained to characterize a Boolean algebra in terms of -ideals. Finally, some properties of -ideals are studied with respect to homomorphisms and filter congruences.
In this paper, we generalize the notion of supremum and infimum in a poset.
For an algebraic structure or type and a set of open formulas of the first order language we introduce the concept of -closed subsets of . The set of all -closed subsets forms a complete lattice. Algebraic structures , of type are called -isomorphic if . Examples of such -closed subsets are e.g. subalgebras of an algebra, ideals of a ring, ideals of a lattice, convex subsets of an ordered or quasiordered set etc. We study -isomorphic algebraic structures in dependence on the...
Currently displaying 1 –
20 of
97