Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. On Free ω-Continuous and Regular Ordered Algebras

On Free ω-Continuous and Regular Ordered Algebras

File(s)
Regalg.pdf (344.55 KB)
Main article
Permanent Link(s)
https://hdl.handle.net/1813/45054
Collections
Computer Science Technical Reports
Author
Esik, Zoltan
Kozen, Dexter
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.

Date Issued
2016
Keywords
Regular algebra
•
ω-continuous algebra
•
iteration theories
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance