Isotone analogs of results by Mal'tsev and Rosenberg.
Larose, Benoit (2005)
Beiträge zur Algebra und Geometrie
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Larose, Benoit (2005)
Beiträge zur Algebra und Geometrie
Similarity:
Bauer, Friedrich W. (2002)
Georgian Mathematical Journal
Similarity:
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Alfred Geroldinger (1997)
Colloquium Mathematicae
Similarity:
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
Polyakov, E.A. (2001)
Siberian Mathematical Journal
Similarity:
Mohamed Bekkali, Driss Zhani (2004)
Revista Matemática Complutense
Similarity:
We characterize free poset algebras F(P) over partially ordered sets and show that they can be represented by upper semi-lattice algebras. Hence, the uniqueness, in decomposition into normal form, using symmetric difference, of non-zero elements of F(P) is established. Moreover, a characterization of upper semi-lattice algebras that are isomorphic to free poset algebras is given in terms of a selected set of generators of B(T).
Yong Min Li, Wang Guo-jun (1997)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper, localic upper, respectively lower continuous chains over a locale are defined. A localic Katětov-Tong insertion theorem is given and proved in terms of a localic upper and lower continuous chain. Finally, the localic Urysohn lemma and the localic Tietze extension theorem are shown as applications of the localic insertion theorem.