A Note on Induction, Abstraction, and Dedekind-Finiteness

Gian Aldo Antonelli. A Note on Induction, Abstraction, and Dedekind-Finiteness. Notre Dame Journal of Formal Logic, 53(2):187-192, 2012. [doi]

Abstract

Abstract is missing.