SEARCH

SEARCH BY CITATION

Keywords:

  • Finite set theory;
  • hereditarily finite;
  • adjunction;
  • standard model;
  • substandard model

Abstract

A survey of the isomorphic submodels of Vω, the set of hereditarily finite sets. In the usual language of set theory, Vω has 20 isomorphic submodels. But other set-theoretic languages give different systems of submodels. For example, the language of adjunction allows only countably many isomorphic submodels of Vω (© 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)