Další formáty:
BibTeX
LaTeX
RIS
@article{197785,
author = {Adámek, J. and Johnstone, P.T. and Makowsky, J.M. and Rosický, J.},
article_number = {3},
language = {eng},
issn = {0022-4812},
journal = {Journal of Symbolic Logic},
title = {Finitary sketches},
volume = {62},
year = {1997}
}
TY - JOUR
ID - 197785
AU - Adámek, J. - Johnstone, P.T. - Makowsky, J.M. - Rosický, J.
PY - 1997
TI - Finitary sketches
JF - Journal of Symbolic Logic
VL - 62
IS - 3
SP - 699
EP - 699
SN - 00224812
N2 - 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.
ER -
ADÁMEK, J., P.T. JOHNSTONE, J.M. MAKOWSKY a J. ROSICKÝ. Finitary sketches. \textit{Journal of Symbolic Logic}. 1997, roč.~62, č.~3, s.~699-707. ISSN~0022-4812.
|
