Set Theory with a Universal Set: Exploring an Untyped Universe

Oxford, England: Clarendon Press (1992)
  Copy   BIBTEX

Abstract

Set theory is concerned with the foundations of mathematics. In the original formulations, there were paradoxes concerning the idea of the "set of all sets." Current standard theory avoids these paradoxes by restricting the way sets may be formed by other sets specifically to disallow the possibility of forming the set of all sets. In the 1930s, Quine proposed a different form of set theory in which the set of all sets-- the universal set-- is allowed, but other restrictions are placed on these axioms. Since then, the steady interest expressed in these non-standard set theories has been boosted by their relevance to computer science. This text concentrates heavily on Quine's New Foundations, reflecting the author's belief that it provides the richest and most mysterious of the various systems dealing with set theories with a universal set. The result is a work that provides a useful introduction for those new to this topic, and a valuable reference for those already involved in the area.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
Automorphism groups of differentially closed fields.Reinhold Konnerth - 2002 - Annals of Pure and Applied Logic 118 (1-2):1-60.
Degrees of rigidity for Souslin trees.Gunter Fuchs & Joel David Hamkins - 2009 - Journal of Symbolic Logic 74 (2):423-454.
Universal Laws and the Structure of the “Total Universe”.David McGraw Jr - 2017 - Философия И Космология 19:55-73.
Automorphisms with only infinite orbits on non-algebraic elements.Grégory Duby - 2003 - Archive for Mathematical Logic 42 (5):435-447.

Analytics

Added to PP
2021-11-17

Downloads
20 (#786,246)

6 months
3 (#1,029,281)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references