Abstract

Finite set theory, here denoted ZFfin, is the theory obtained
by replacing the axiom of infinity by its negation in the usual
axiomatization of ZF (Zermelo-Fraenkel set theory). An ω-model
of ZFfin is a model in which every set has at most finitely many
elements (as viewed externally). Mancini and Zambella (2001) employed
the Bernays-Rieger
... read more