Finitary sketches

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Kategoriální metody teorie struktur a informatiky Matematické struktury algebry a geometrie