Zermelo: definiteness and the universe of definable sets

Heinz-Dieter Ebbinghaus · History and Philosophy of Logic · 2003

Using hitherto unpublished manuscripts from the Zermelo Nachlass, I describe the development of the notion of definiteness and the discussion about it, giving a conclusive picture of Zermelo's thoughts up to the late thirties. As it turns out, Zermelo's considerations about definiteness are intimately related to his concept of a Cantorian universe of categorically definable sets that may be considered an inner model of set theory in an ideationally given universe of classes.

Read the paper · More papers on PaperTik