New Aspects of Subfitness in Frames and Spaces

Detalhes bibliográficos
Autor(a) principal: Picado, Jorge
Data de Publicação: 2016
Outros Autores: Pultr, Aleš
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/43798
https://doi.org/10.1007/s10485-016-9452-0
Resumo: This paper contains some new facts about subfitness and weak subfitness. In the case of spaces, subfitness is compared with the axiom of symmetry, and certain seeming discrepancies are explained. Further, Isbell’s spatiality theorem in fact concerns a stronger form of spatiality (T_1-spatiality) which is compared with the T_D-spatiality. Then, a frame is shown to be subfit iff it contains no non-trivial replete sublocale, and the relation of repleteness and subfitness is also discussed in spaces. Another necessary and sufficient condition for subfitness presented is the validity of the meet formula for the Heyting operation, which was so far known only under much stronger conditions.
id RCAP_174176ce95e0adcae3800b0d783c865c
oai_identifier_str oai:estudogeral.uc.pt:10316/43798
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling New Aspects of Subfitness in Frames and SpacesThis paper contains some new facts about subfitness and weak subfitness. In the case of spaces, subfitness is compared with the axiom of symmetry, and certain seeming discrepancies are explained. Further, Isbell’s spatiality theorem in fact concerns a stronger form of spatiality (T_1-spatiality) which is compared with the T_D-spatiality. Then, a frame is shown to be subfit iff it contains no non-trivial replete sublocale, and the relation of repleteness and subfitness is also discussed in spaces. Another necessary and sufficient condition for subfitness presented is the validity of the meet formula for the Heyting operation, which was so far known only under much stronger conditions.Springer2016info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/43798http://hdl.handle.net/10316/43798https://doi.org/10.1007/s10485-016-9452-0https://doi.org/10.1007/s10485-016-9452-0enghttps://link.springer.com/article/10.1007/s10485-016-9452-0Picado, JorgePultr, Alešinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2021-06-29T10:02:53Zoai:estudogeral.uc.pt:10316/43798Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T20:53:27.987413Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv New Aspects of Subfitness in Frames and Spaces
title New Aspects of Subfitness in Frames and Spaces
spellingShingle New Aspects of Subfitness in Frames and Spaces
Picado, Jorge
title_short New Aspects of Subfitness in Frames and Spaces
title_full New Aspects of Subfitness in Frames and Spaces
title_fullStr New Aspects of Subfitness in Frames and Spaces
title_full_unstemmed New Aspects of Subfitness in Frames and Spaces
title_sort New Aspects of Subfitness in Frames and Spaces
author Picado, Jorge
author_facet Picado, Jorge
Pultr, Aleš
author_role author
author2 Pultr, Aleš
author2_role author
dc.contributor.author.fl_str_mv Picado, Jorge
Pultr, Aleš
description This paper contains some new facts about subfitness and weak subfitness. In the case of spaces, subfitness is compared with the axiom of symmetry, and certain seeming discrepancies are explained. Further, Isbell’s spatiality theorem in fact concerns a stronger form of spatiality (T_1-spatiality) which is compared with the T_D-spatiality. Then, a frame is shown to be subfit iff it contains no non-trivial replete sublocale, and the relation of repleteness and subfitness is also discussed in spaces. Another necessary and sufficient condition for subfitness presented is the validity of the meet formula for the Heyting operation, which was so far known only under much stronger conditions.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/43798
http://hdl.handle.net/10316/43798
https://doi.org/10.1007/s10485-016-9452-0
https://doi.org/10.1007/s10485-016-9452-0
url http://hdl.handle.net/10316/43798
https://doi.org/10.1007/s10485-016-9452-0
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://link.springer.com/article/10.1007/s10485-016-9452-0
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133821565665280

Registros relacionados