Definable orthogonality classes in accessible categories are small

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F15%3A00082613" target="_blank" >RIV/00216224:14310/15:00082613 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.4171/JEMS/511" target="_blank" >http://dx.doi.org/10.4171/JEMS/511</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4171/JEMS/511" target="_blank" >10.4171/JEMS/511</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Definable orthogonality classes in accessible categories are small
Popis výsledku v původním jazyce
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka's principle. We prove that the necessary large-cardinal hypotheses depend onthe complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy.
Název v anglickém jazyce
Definable orthogonality classes in accessible categories are small
Popis výsledku anglicky
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka's principle. We prove that the necessary large-cardinal hypotheses depend onthe complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2015
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)