A remark on Cantor derivative

Cédric Milliet (1, 2)

1 Département de Mathématiques
2 ICJ - Institut Camille Jordan

It is shown that, modulo an equivalence relation induced by finite correspondences preserving Cantor rank, the class of topological spaces is an integral semi-ring on which the Cantor derivative is precisely a derivation.

Mots clés: Cantor-Bendixson rank; Cantor derivative; finite correspondence

Domaines: Logique [math.LO]

Cédric Milliet. A remark on Cantor derivative. 2011. ⟨hal-00582395⟩