Volume 11, 1985
Stephen Pollard
Pages 579-587
Plural Quantification and the Iterative Concept of Set
Arecent paper by George Boolos suggests that it is philosophically respectable to use monadic second order logic in one’s explication of the iterative concept of set. I shall here give a partial indication of the new range of theories of the iterative hierarchy which are thus made
available to philosophers of set theory.