Loading [MathJax]/extensions/MathZoom.js
Free $\mu$-lattices
Santocanale, Luigi
HAL, hal-01261049 / Harvested from HAL
A μ-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 μ-lattices and, for a given partially ordered set P, we construct a μ-lattice JP whose elements are equivalence classes of games in a preordered class J(P). We prove that the μ-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 μ-lattices we infer that the class of complete lattices generates the quasivariety of μ-lattices.
Publié le : 2002-03-23
Classification:  least and greatest fixed-points,  free lattices ,  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],  [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-01261049,
     author = {Santocanale, Luigi},
     title = {Free $\mu$-lattices},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01261049}
}
Santocanale, Luigi. Free $\mu$-lattices. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/hal-01261049/