@MISC{Degen94someaspects, author = {J.W. Degen}, title = {Some Aspects and Examples of Infinity Notions}, year = {1994} }

Bookmark

OpenURL

Abstract

Our main contribution is a formal definition of what could be called a T-notion of infinity, for set theories T extending ZF. Around this definition we organize some old and new notions of infinity; we also indicate some easy independence proofs.