Displaying 241 – 260 of 294

Showing per page

Subgroups and hulls of Specker lattice-ordered groups

Paul F. Conrad, Michael R. Darnel (2001)

Czechoslovak Mathematical Journal

In this article, it will be shown that every -subgroup of a Specker -group has singular elements and that the class of -groups that are -subgroups of Specker -group form a torsion class. Methods of adjoining units and bases to Specker -groups are then studied with respect to the generalized Boolean algebra of singular elements, as is the strongly projectable hull of a Specker -group.

Sublocale sets and sublocale lattices

Jorge Picado, Aleš Pultr (2006)

Archivum Mathematicum

We present very short and simple proofs of such facts as co-frame distributivity of sublocales, zero-dimensionality of the resulting co-frames, Isbell’s Density Theorem and characteristic properties of fit and subfit frames, using sublocale sets.

Subtraction algebras and B C K -algebras

Young Hee Kim, Hee Sik Kim (2003)

Mathematica Bohemica

In this note we show that a subtraction algebra is equivalent to an implicative B C K -algebra, and a subtraction semigroup is a special case of a B C I -semigroup.

Subtraction semigroups

Bohdan Zelinka (1995)

Mathematica Bohemica

A subtraction semigroup is a semigroup ( A , . , - ) with a further operation " - " added, called subtraction and satisfying certain axioms. The paper concerns a problem by B. M. Schein concerning the structure of multiplication in a subtraction semigroup.

Summer session on ordered sets at Cikháj

Ján Jakubík, Miroslav Novotný, Josef Novák, Milan Sekanina, Anna Sekaninová, Tibor Katriňák, František Fiala, Petr Kratochvíl, Vítězslav Novák, Ivan Korec, Ladislav Skula, Bohumil Šmarda (1966)

Časopis pro pěstování matematiky

Super-De Morgan functions and free De Morgan quasilattices

Yuri Movsisyan, Vahagn Aslanyan (2014)

Open Mathematics

A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....

Supremum properties of Galois-type connections

Árpád Száz (2006)

Commentationes Mathematicae Universitatis Carolinae

In a former paper, motivated by a recent theory of relators (families of relations), we have investigated increasingly regular and normal functions of one preordered set into another instead of Galois connections and residuated mappings of partially ordered sets. A function f of one preordered set X into another Y has been called (1) increasingly   g -normal, for some function g of Y into X , if for any x X and y Y we have f ( x ) y if and only if x g ( y ) ; (2) increasingly ϕ -regular, for some function ϕ of X into itself,...

Currently displaying 241 – 260 of 294