Finitary sketches

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

ADÁMEK J. JOHNSTONE P.T. MAKOWSKY J.M. ROSICKÝ J.

Rok publikování 1997
Druh Článek v odborném periodiku
Časopis / Zdroj Journal of Symbolic Logic
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Obor Obecná matematika
Popis Finitary sketches are proved to be as strong as geometric sketches. Categories sketchable by such sketches are fully characterized in the infinitary first-order logic: they are axiomatizable by coherent theories. The latter result is absolute; the equivalence of geometric and finitary sketches requires (in fact, is equivalent to) the non-existence of measurable cardinals.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.