ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS
Acta mathematica Universitatis Comenianae, Tome 61 (1992) no. 1
P. Zlatos. ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS. Acta mathematica Universitatis Comenianae, Tome 61 (1992) no. 1. http://geodesic.mathdoc.fr/item/AMUC_1992_61_1_a8/
@article{AMUC_1992_61_1_a8,
     author = {P. Zlatos},
     title = {ON {SURJECTIVE} {KERNELS} {OF} {PARTIAL} {ALGEBRAS}},
     journal = {Acta mathematica Universitatis Comenianae},
     year = {1992},
     volume = {61},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/AMUC_1992_61_1_a8/}
}
TY  - JOUR
AU  - P. Zlatos
TI  - ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS
JO  - Acta mathematica Universitatis Comenianae
PY  - 1992
VL  - 61
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AMUC_1992_61_1_a8/
ID  - AMUC_1992_61_1_a8
ER  - 
%0 Journal Article
%A P. Zlatos
%T ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS
%J Acta mathematica Universitatis Comenianae
%D 1992
%V 61
%N 1
%U http://geodesic.mathdoc.fr/item/AMUC_1992_61_1_a8/
%F AMUC_1992_61_1_a8

Voir la notice de l'article provenant de la source Comenius University

A partial algebra $\A = (A,F)$ is called surjective if each of its elements lies in the range of some of its operations. By a transfinite iteration construction over the class of all ordinals it is proved that in each partial algebra $\A$ there exists the largest surjective subalgebra $\Skr \A$, called the surjective kernel of $\A$. However, what might be found a bit surprising, for each ordinal $\al$ there is an algebra $\A$ with only finitary operations (even with a single unary operation), such that the described construction stops exactly in $\al$ steps. The result is compared with the classical ones on perfect kernels of first countable topological spaces.