Formal model theory and higher topology

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

Result language
angličtina
Original language name
Formal model theory and higher topology
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/GX20-31529X" target="_blank" >GX20-31529X: Abstract convergence schemes and their complexities</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)