Infinitary first-order categorical logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F19%3A00113502" target="_blank" >RIV/00216224:14310/19:00113502 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.sciencedirect.com/science/article/pii/S0168007218301064" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0168007218301064</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2018.09.002" target="_blank" >10.1016/j.apal.2018.09.002</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Infinitary first-order categorical logic
Popis výsledku v původním jazyce
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by Godel, Kripke, Beth, Karp and Joyal. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics.
Název v anglickém jazyce
Infinitary first-order categorical logic
Popis výsledku anglicky
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by Godel, Kripke, Beth, Karp and Joyal. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2019
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ů

Podobné výsledky(10)