[FOM] Countable sets with imprediicative definitions
Margaret.MacDougall at ed.ac.uk
Thu Nov 18 05:58:02 EST 2010
Can anyone provide examples of countable sets with impredicative
definitions and apparently no alternative predicative definitions? Just
to clarify, my intended notion of countable in relation to a set refers
to the existence of a surjection from the natural numbers (or from the
natural numbers excluding zero) to that set.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the FOM