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.

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.