Rings of real functions in Pointfree Topology
This paper deals with the algebra F(L) of real functions of a frame L and its subclasses LSC(L) and USC(L) of, respectively, lower and upper semicontinuous real functions. It is well-known that F(L) is a lattice-ordered ring; this paper presents explicit formulas for its algebraic operations which a...
Main Author: | |
---|---|
Other Authors: | |
Format: | other |
Language: | eng |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/10316/13708 |
Country: | Portugal |
Oai: | oai:estudogeral.sib.uc.pt:10316/13708 |