On Free ω-Continuous and Regular Ordered Algebras
| dc.contributor.author | Esik, Zoltan | |
| dc.contributor.author | Kozen, Dexter | |
| dc.date.accessioned | 2016-12-07T03:44:54Z | |
| dc.date.available | 2016-12-07T03:44:54Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Let E be a set of inequalities between finite Σ-terms. Let V_ω and V_r denote the varieties of all ω-continuous ordered Σ-algebras and regular ordered Σ-algebras satisfying E, respectively. We prove that the free V_r-algebra R(X) on generators X is the subalgebra of the corresponding free V_ω-algebra F_ω(X) determined by those elements of F_ω(X) denoted by the regular Σ-coterms. We actually establish this fact as a special case of a more general construction for families of algebras specified by syntactically restricted completeness and continuity properties. Thus our result is also applicable to ordered regular algebras of higher order. | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/45054 | |
| dc.language.iso | en_US | en_US |
| dc.subject | Regular algebra | en_US |
| dc.subject | ω-continuous algebra | en_US |
| dc.subject | iteration theories | en_US |
| dc.title | On Free ω-Continuous and Regular Ordered Algebras | en_US |
| dc.type | technical report | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Regalg.pdf
- Size:
- 344.55 KB
- Format:
- Adobe Portable Document Format
- Description:
- Main article