Isotone analogs of results by Mal'tsev and Rosenberg.
Larose, Benoit (2005)
Beiträge zur Algebra und Geometrie
Similarity:
Displaying similar documents to “Definition of Flat Poset and Existence Theorems for Recursive Call”
Isotone analogs of results by Mal'tsev and Rosenberg.
Chain theories and simplicial abelian group spectra.
Bauer, Friedrich W. (2002)
Georgian Mathematical Journal
Similarity:
Semantics of MML Query
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Chains of factorizations in orders of global fields
Alfred Geroldinger (1997)
Colloquium Mathematicae
Similarity:
On the resemblance and recursive isomorphism types of partial recursive functions.
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
On resemblance and recursive isomorphism types of bounded partial recursive functions.
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
On resemblance and recursive isomorphism types of partial recursive functions.
Polyakov, E.A. (2001)
Siberian Mathematical Journal
Similarity:
Tail and free poset algebras.
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).
Localic Katětov-Tong insertion theorem and localic Tietze extension theorem
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.