distinct notions of finiteness without AC
1.
Aspects
I-finite
Ia-finite
II-finite
III-finite
IV-finite (Dedekind)
or
finite
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:58