Set Theory With A Universal Set: Exploring An Untyped Universe
by T. E. Forster /
1995 / English / PDF
8.2 MB Download
Increasing t in set theory, particularly the possibility of a set of all sets ("universal set"), has been stimulated by its relevance to computer science. This new edition, drawing heavily on Quine's theories as introduced in New Foundations, provides an accessible introduction of universal set theory to mathematicians, logicians, and philosophers.