Since 2014
Free mu-lattices
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Free mu-lattices
|
|
| Creator |
Santocanale, Luigi
|
|
| 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 paperwe define the quasivariety of mu-lattices and, for a given partiallyordered set P, we construct a mu-lattice JP whose elements areequivalence classes of games in a preordered class J (P). We provethat the mu-lattice JP is free over the ordered set P and that theorder relation of JP is decidable if the order relation of P is decidable. By means of this characterization of free mu-lattices weinfer that the class of complete lattices generates the quasivarietyof mu-lattices.Keywords: mu-lattices, free mu-lattices, free lattices, bicompletionof categories, models of computation, least and greatest fix-points,mu-calculus, Rabin chain games.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2000-10-28
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/20161
10.7146/brics.v7i28.20161 |
|
| Source |
BRICS Report Series; No 28 (2000): RS-28 Free mu-lattices
BRICS Report Series; No 28 (2000): RS-28 Free mu-lattices 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/20161/17782
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|