Abstract

We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 equation image, a sort of simplification of the theory considered in 13 and 1 . We give a model of a weaker variant of equation image, called equation image, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π11 sets of natural numbers; such an enumeration can be obtained via a classical priority argument much in the style of 5 and 15. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim