Note on inductive finiteness in mereology.
Robert E. Clay · Notre Dame Journal of Formal Logic · 1972
In this note we prove that for inductive finiteness,[a]: Fin{α}.D. Fin{st(α)}.Sobociήski proved this previously under the added hypothesis, dscr{α}.Theorems quoted, but not stated in this note, refer to the Mereological Preliminaries in [1], We shall also need the following well-known definitions and properties concerning inductive finiteness.