The semicontinuous frame quasi-uniformity, revisited
| Main Author: | |
|---|---|
| Publication Date: | 2009 |
| Other Authors: | |
| Format: | Other |
| Language: | eng |
| Source: | Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| Download full: | https://hdl.handle.net/10316/13649 |
Summary: | In this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Guti errez Garc a, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to show how the basic facts about the semicontinuous quasi-uniformity can be easily presented and proved with that tool at hand. |
| id |
RCAP_f423599a097fa8bd726c3eb0f0e3fc5a |
|---|---|
| oai_identifier_str |
oai:estudogeral.uc.pt:10316/13649 |
| network_acronym_str |
RCAP |
| network_name_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository_id_str |
https://opendoar.ac.uk/repository/7160 |
| spelling |
The semicontinuous frame quasi-uniformity, revisitedFrameQuasi-uniform frameQuasi-uniform biframeQuasi-metric quasiuniformityTotally bounded quasi-uniformitySemicontinuous real functionBiframe of realsCountably compact frameIn this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Guti errez Garc a, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to show how the basic facts about the semicontinuous quasi-uniformity can be easily presented and proved with that tool at hand.Centro de Matemática da Universidade de Coimbra2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/otherhttps://hdl.handle.net/10316/13649https://hdl.handle.net/10316/13649engPré-Publicações DMUC. 09-30 (2009)Ferreira, Maria JoãoPicado, Jorgeinfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2020-05-29T09:42:10Zoai:estudogeral.uc.pt:10316/13649Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T05:23:24.918964Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse |
| dc.title.none.fl_str_mv |
The semicontinuous frame quasi-uniformity, revisited |
| title |
The semicontinuous frame quasi-uniformity, revisited |
| spellingShingle |
The semicontinuous frame quasi-uniformity, revisited Ferreira, Maria João Frame Quasi-uniform frame Quasi-uniform biframe Quasi-metric quasiuniformity Totally bounded quasi-uniformity Semicontinuous real function Biframe of reals Countably compact frame |
| title_short |
The semicontinuous frame quasi-uniformity, revisited |
| title_full |
The semicontinuous frame quasi-uniformity, revisited |
| title_fullStr |
The semicontinuous frame quasi-uniformity, revisited |
| title_full_unstemmed |
The semicontinuous frame quasi-uniformity, revisited |
| title_sort |
The semicontinuous frame quasi-uniformity, revisited |
| author |
Ferreira, Maria João |
| author_facet |
Ferreira, Maria João Picado, Jorge |
| author_role |
author |
| author2 |
Picado, Jorge |
| author2_role |
author |
| dc.contributor.author.fl_str_mv |
Ferreira, Maria João Picado, Jorge |
| dc.subject.por.fl_str_mv |
Frame Quasi-uniform frame Quasi-uniform biframe Quasi-metric quasiuniformity Totally bounded quasi-uniformity Semicontinuous real function Biframe of reals Countably compact frame |
| topic |
Frame Quasi-uniform frame Quasi-uniform biframe Quasi-metric quasiuniformity Totally bounded quasi-uniformity Semicontinuous real function Biframe of reals Countably compact frame |
| description |
In this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Guti errez Garc a, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to show how the basic facts about the semicontinuous quasi-uniformity can be easily presented and proved with that tool at hand. |
| publishDate |
2009 |
| dc.date.none.fl_str_mv |
2009 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/other |
| format |
other |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/10316/13649 https://hdl.handle.net/10316/13649 |
| url |
https://hdl.handle.net/10316/13649 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
Pré-Publicações DMUC. 09-30 (2009) |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.publisher.none.fl_str_mv |
Centro de Matemática da Universidade de Coimbra |
| publisher.none.fl_str_mv |
Centro de Matemática da Universidade de Coimbra |
| dc.source.none.fl_str_mv |
reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia instacron:RCAAP |
| instname_str |
FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| instacron_str |
RCAAP |
| institution |
RCAAP |
| reponame_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| collection |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository.name.fl_str_mv |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| repository.mail.fl_str_mv |
info@rcaap.pt |
| _version_ |
1833602339529818112 |