The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00558344" target="_blank" >RIV/67985807:_____/23:00558344 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1017/jsl.2022.43" target="_blank" >https://doi.org/10.1017/jsl.2022.43</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/jsl.2022.43" target="_blank" >10.1017/jsl.2022.43</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras
Popis výsledku v původním jazyce
Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.
Název v anglickém jazyce
The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras
Popis výsledku anglicky
Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2023
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
Journal of Symbolic Logic
ISSN
0022-4812
e-ISSN
1943-5886
Svazek periodika
88
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
11
Strana od-do
1310-1320
Kód UT WoS článku
001143679300001
EID výsledku v databázi Scopus
2-s2.0-85132565532