A note on Stone join-semilattices
Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.
Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...
To each indefinite integral binary quadratic form , we may associate the geodesic in through the roots of quadratic equation . In this paper we study the asymptotic distribution (as discriminant tends to infinity) of the angles between these geodesics and one fixed vertical geodesic which intersects all of them.
Non-Archimedean f-rings need not be p-distributive. Moreover, if {di|i} is a subset of a non-Archimedean f-ring and a ≥ 0, the elements a vi di and vi adi need not be equal. We prove, however, that the difference is an infinitely small element when the ring has a strong unity.
The paper introduces a definition of symmetric difference in lattices with negation, presents its general properties and studies those that are typical of ortholattices, orthomodular lattices, De Morgan and Boolean algebras.
-continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of -continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a -continuous poset is defined and its properties are explored.
All ordinal numbers with the following property are found: there exists a loop such that its subloops form a chain of ordinal type .