Javascript must be enabled to continue!

Free mu-lattices

A mu-lattice is a lattice with the property that every unary polynomial has both a least and a greatest fix-point. In this paper we define the quasivariety of mu-lattices and, for a given partially ordered set P, we construct a mu-lattice JP whose elements are equivalence classes of games in a preordered class J (P). We prove that the mu-lattice JP is free over the ordered set P and that the order relation of JP is decidable if the order relation of P is decidable. By means of this characterization of free mu-lattices we infer that the class of complete lattices generates the quasivariety of mu-lattices. Keywords: mu-lattices, free mu-lattices, free lattices, bicompletion of categories, models of computation, least and greatest fix-points, mu-calculus, Rabin chain games.

Det Kgl. Bibliotek/Royal Danish Library

Luigi Santocanale

BRICS Report Series

2016

Title: Free mu-lattices

Description:

A mu-lattice is a lattice with the property that every unary polynomial has both a least and a greatest fix-point.

In this paper we define the quasivariety of mu-lattices and, for a given partially ordered set P, we construct a mu-lattice JP whose elements are equivalence classes of games in a preordered class J (P).

We prove that the mu-lattice JP is free over the ordered set P and that the order relation of JP is decidable if the order relation of P is decidable.

By means of this characterization of free mu-lattices we infer that the class of complete lattices generates the quasivariety of mu-lattices.

Keywords: mu-lattices, free mu-lattices, free lattices, bicompletion of categories, models of computation, least and greatest fix-points, mu-calculus, Rabin chain games.

Back

Related Results

Unbounded Star Convergence in Lattices

Let L be a vector lattice, "(" x_α ") " be a L-valued net, and x∈L . If |x_α-x|∧u→┴o 0 for every u ∈〖 L〗_+ then it is said that the net "(" x_α ")" unbounded order converges ...

COUPLING OSCILLATIONS OF LATTICES OF DIFFERENT DIELECTRIC RESONATORS

Background. The development of many elements of modern communication systems is increasingly based on the use of various types of dielectric resonators (DR). The theory of coupled ...

Ambiguities in powder pattern indexing: A ternary lattice metric singularity

A lattice metric singularity occurs when unit cells defining two (or more) lattices yield the identical set of unique calculated d-spacings. The existence of such singularities, th...

Ground state topological properties of ultracold atoms in composite scalar-Raman optical lattices

The ground-state topological properties of ultracold atoms in composite scalar-Raman optical lattices are systematically investigated by solving the two-component Gross-Pitaevskii ...

Characterization of Triangular Tungsten Carbide Lattices Material Properties and Structural Changes in Manufacturing With Sustainable Materials

Abstract Robocasting is the process of printing with pastes to form an additively manufactured structure. Common materials that are printed with robocasting are cera...

Defect-enabled fast gas encapsulation into water lattices for innovative energy storage and decarbonization

Non-polar gases do not mix well with liquid water, but they can be incorporated massively in solid water lattices and create gas-carrying water structures called gas hydrates. Natu...

Mp-Residuated Lattices

This paper is devoted to the study of a fascinating class of residuated lattices, the so-called mp-residuated lattice, in which any prime ﬁlter contains a unique minimal prime ﬁlte...

$S$-lattices

In this paper we study $S$-elements in $C$-lattices and characterize almost principal element lattices and principal element lattices in terms of $S$-lattices....

Email:
Password:

Email: