A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
ω-models of finite set theory
[chapter]
Set Theory, Arithmetic, and Foundations of Mathematics
Finite set theory, here denoted ZF fin , 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 ZF fin is a model in which every set has at most finitely many elements (as viewed externally). Mancini and Zambella (2001) employed the Bernays-Rieger method of permutations to construct a recursive ω-model of ZF fin that is nonstandard (i.e., not isomorphic to the hereditarily finite sets V ω ). In
doi:10.1017/cbo9780511910616.004
fatcat:gc42okd7s5dwtgbf7adkdkfmrq