A choice free theory of Dedekind cardinals
Journal of Symbolic Logic (1969) - Comments
doi: 10.2307/2270983  issn: 0022-4812  issn: 1943-5886  pubmed: 38629118 

Erik Ellentuck