New Aspects of Subfitness in Frames and Spaces

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
New Aspects of Subfitness in Frames and Spaces
Original language 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.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)