Extending Algebraic Operations to D-Completions | Zendy

Klaus Keimel | Zendy; Jimmie Lawson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Extending Algebraic Operations to D-Completions

Author(s) -

Klaus Keimel,

Jimmie Lawson

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.07.086

Subject(s) - mathematics , monotone polygon , extension (predicate logic) , algebraic number , convergence (economics) , context (archaeology) , discrete mathematics , space (punctuation) , algebra over a field , pure mathematics , topology (electrical circuits) , combinatorics , computer science , mathematical analysis , paleontology , geometry , economics , biology , programming language , economic growth , operating system

In this article we show how separately continuous algebraic operations on T0-spaces and the laws that they satisfy, both identities and inequalities, can be extended to the D-completion, that is, the universal monotone convergence space completion. Indeed we show that the operations can be extended to the lattice of closed sets, but in this case it is only the linear identities that admit extension. Via the Scott topology, the theory is shown to be applicable to dcpo-completions of posets. We also explore connections with the construction of free algebras in the context of monotone convergence spaces

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research