TY  - JOUR
AU  - Hedrlín, Zdeněk
AU  - Vopěnka, Petr
TI  - An undecidable theorem concerning full embeddings into categories of algebras
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1966
SP  - 401
EP  - 409
VL  - 07
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1966__7_3_a13/
LA  - en
ID  - CMUC_1966__7_3_a13
ER  -