The first-order structure of weakly Dedekind-finite sets

摘要

We show that in finite sets whose power-sets are Dedekin d-finite can only carry No-categorical first order structures. We identify other subclasses of this class of Dedekind-finite sets. and discuss their possible first order structures.