Hereditary size sets in ZF
The attached article go through the proof of that result from ZFC, to well ordered sets in ZF, to a strong notion of herediary size in ZF, to the weak version in ZF.
The attached article go through the proof of that result from ZFC, to well ordered sets in ZF, to a strong notion of herediary size in ZF, to the weak version in ZF.