Formal model theory and higher topology
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F24%3A00586675" target="_blank" >RIV/67985840:_____/24:00586675 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1002/malq.202300006" target="_blank" >https://doi.org/10.1002/malq.202300006</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1002/malq.202300006" target="_blank" >10.1002/malq.202300006</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal model theory and higher topology
Popis výsledku v původním jazyce
We study the 2-categories BIon, of (generalized) bounded ionads, and (Formula presented.), of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness-like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.
Název v anglickém jazyce
Formal model theory and higher topology
Popis výsledku anglicky
We study the 2-categories BIon, of (generalized) bounded ionads, and (Formula presented.), of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness-like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.
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
<a href="/cs/project/GX20-31529X" target="_blank" >GX20-31529X: Abstraktní konvergenční schémata a jejich složitost</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
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
Mathematical Logic Quarterly
ISSN
0942-5616
e-ISSN
1521-3870
Svazek periodika
70
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
15
Strana od-do
111-125
Kód UT WoS článku
001231730900001
EID výsledku v databázi Scopus
2-s2.0-85194743588