Displaying similar documents to “Definition of Flat Poset and Existence Theorems for Recursive Call”

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]

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.