New Aspects of Subfitness in Frames and Spaces
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10330659" target="_blank" >RIV/00216208:11320/16:10330659 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s10485-016-9452-0" target="_blank" >http://dx.doi.org/10.1007/s10485-016-9452-0</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10485-016-9452-0" target="_blank" >10.1007/s10485-016-9452-0</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
New Aspects of Subfitness in Frames and Spaces
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
New Aspects of Subfitness in Frames and Spaces
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Applied Categorical Structures
ISSN
0927-2852
e-ISSN
—
Svazek periodika
24
Číslo periodika v rámci svazku
5
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
12
Strana od-do
703-714
Kód UT WoS článku
000383603000017
EID výsledku v databázi Scopus
2-s2.0-84982262133