Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43901
DC FieldValueLanguage
dc.contributor.authorMozo Carollo, Imanol-
dc.contributor.authorGutiérrez García, Javier-
dc.contributor.authorPicado, Jorge-
dc.date.accessioned2017-10-13T09:23:10Z-
dc.date.issued2015-
dc.identifier10.1515/forum-2012-0095-
dc.identifier.urihttp://hdl.handle.net/10316/43901-
dc.description.abstractThis paper introduces the frame of partially defined real numbers and the lattice-ordered ring of partial real functions on a frame. This is then used to construct the order completion of rings of pointfree continuous real functions. The bounded and integer-valued cases are also analysed. The application of this pointfree approach to the classical case C(X) of the ring of continuous real-valued functions on a topological space X yields a new construction for the Dedekind completion of C(X), considerably more direct and natural than the known procedure using Hausdorff continuous functions.por
dc.language.isoengpor
dc.publisherDe Gruyterpor
dc.relationPEst-C/MAT/UI0324/2011por
dc.rightsembargoedAccess-
dc.titleOn the Dedekind completion of function ringspor
dc.typearticle-
degois.publication.issue5por
degois.publication.titleForum Mathematicumpor
dc.relation.publisherversionhttps://doi.org/10.1515/forum-2012-0095por
dc.peerreviewedyespor
dc.identifier.doi10.1515/forum-2012-0095por
degois.publication.volume27por
dc.date.embargo2018-10-13T09:23:10Z-
item.fulltextCom Texto completo-
item.grantfulltextopen-
item.languageiso639-1en-
crisitem.author.deptFaculdade de Ciências e Tecnologia, Universidade de Coimbra-
crisitem.author.parentdeptUniversidade de Coimbra-
crisitem.author.researchunitCenter for Mathematics, University of Coimbra-
crisitem.author.orcid0000-0001-7837-1221-
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais
Files in This Item:
File Description SizeFormat
forum0095.pdf323.72 kBAdobe PDFView/Open
Show simple item record

SCOPUSTM   
Citations

5
checked on Jun 25, 2019

WEB OF SCIENCETM
Citations

4
checked on Jun 25, 2019

Page view(s) 5

1,113
checked on Aug 13, 2019

Download(s)

36
checked on Aug 13, 2019

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.