Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - Each meet semilattice S is well known to be freely extended to a frame by its down-sets DS. In this article we present, first, the complete range of frame extensions generated by S; it turns out to be a sub-coframe of the coframe C of sublocales of DS, indeed, an interval in C, with DS as the top and the extension of S respecting all the exact joins in S as the bottom. Then, the Heyting and Boolean case is discussed; there, the bottom extension is shown to coincide with the Dedekind-MacNeille completion. The technique used is a technique of sites, generalizing that used in [JOHNSTONE, P. T.: Stone Spaces. Cambridge Stud. Adv. Math. 3, Cambridge University Press, Cambridge, 1982]. (C) 2014 Mathematical Institute Slovak Academy of Sciences
- Each meet semilattice S is well known to be freely extended to a frame by its down-sets DS. In this article we present, first, the complete range of frame extensions generated by S; it turns out to be a sub-coframe of the coframe C of sublocales of DS, indeed, an interval in C, with DS as the top and the extension of S respecting all the exact joins in S as the bottom. Then, the Heyting and Boolean case is discussed; there, the bottom extension is shown to coincide with the Dedekind-MacNeille completion. The technique used is a technique of sites, generalizing that used in [JOHNSTONE, P. T.: Stone Spaces. Cambridge Stud. Adv. Math. 3, Cambridge University Press, Cambridge, 1982]. (C) 2014 Mathematical Institute Slovak Academy of Sciences (en)
|
Title
| - Extending semilattices to frames using sites and coverages
- Extending semilattices to frames using sites and coverages (en)
|
skos:prefLabel
| - Extending semilattices to frames using sites and coverages
- Extending semilattices to frames using sites and coverages (en)
|
skos:notation
| - RIV/00216208:11320/14:10286591!RIV15-GA0-11320___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/14:10286591
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - joins in meet semilattices; meet semilattice; frame; coverage; site (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Pultr, Aleš
- Ball, Richard N.
|
http://linked.open...ain/vavai/riv/wos
| |
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.2478/s12175-014-0223-9
|
http://localhost/t...ganizacniJednotka
| |