Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Maximal essential extensions in the context of frames

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10386932" target="_blank" >RIV/00216208:11320/18:10386932 - isvavai.cz</a>

  • Výsledek na webu

    <a href="https://doi.org/10.1007/s00012-018-0508-x" target="_blank" >https://doi.org/10.1007/s00012-018-0508-x</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1007/s00012-018-0508-x" target="_blank" >10.1007/s00012-018-0508-x</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Maximal essential extensions in the context of frames

  • Popis výsledku v původním jazyce

    We show that every frame can be essentially embedded in a Boolean frame, and that this embedding is the maximal essential extension of the frame in the sense that it factors uniquely through any other essential extension. This extension can be realized as the embedding L -&gt; N(L) -&gt; BN(L), where L -&gt; N(L) is the familiar embedding of L into its congruence frame N(L), and N(L) -&gt; BN(L) is the Booleanization of N(L). Finally, we show that for subfit frames the extension can also be realized as the embedding L -&gt; S-c(L) of L into its complete Boolean algebra S-c(L) of sublocales which are joins of closed sublocales.

  • Název v anglickém jazyce

    Maximal essential extensions in the context of frames

  • Popis výsledku anglicky

    We show that every frame can be essentially embedded in a Boolean frame, and that this embedding is the maximal essential extension of the frame in the sense that it factors uniquely through any other essential extension. This extension can be realized as the embedding L -&gt; N(L) -&gt; BN(L), where L -&gt; N(L) is the familiar embedding of L into its congruence frame N(L), and N(L) -&gt; BN(L) is the Booleanization of N(L). Finally, we show that for subfit frames the extension can also be realized as the embedding L -&gt; S-c(L) of L into its complete Boolean algebra S-c(L) of sublocales which are joins of closed sublocales.

Klasifikace

  • Druh

    J<sub>imp</sub> - Článek v periodiku v databázi Web of Science

  • CEP obor

  • OECD FORD obor

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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í

    2018

  • 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

    Algebra Universalis

  • ISSN

    0002-5240

  • e-ISSN

  • Svazek periodika

    79

  • Číslo periodika v rámci svazku

    2

  • Stát vydavatele periodika

    CH - Švýcarská konfederace

  • Počet stran výsledku

    13

  • Strana od-do

  • Kód UT WoS článku

    000431737200014

  • EID výsledku v databázi Scopus

    2-s2.0-85045988606