Definition:Minimally Inductive Set/Nomenclature

Minimally Inductive Set: Nomenclature
The name minimally inductive set is borrowed from the concept of the minimally inductive class as introduced by and  in their.

, in, refers to this object as the first infinite ordinal.

raises the concept in his, but fails to pin a name to it.