On hereditarily countable sets (1982)

by T Jech
Venue:Journal of symbolic Logic