Get Free Shipping on orders over $79
Set Theory with a Universal Set : Exploring an Untyped Universe - T. E. Forster

Set Theory with a Universal Set

Exploring an Untyped Universe

By: T. E. Forster

Hardcover | 24 August 1995 | Edition Number 2

At a Glance

Hardcover


$79.75

or 4 interest-free payments of $19.94 with

 or 

Ships in 5 to 7 business days

Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea of the "set of all sets". Current standard theory (Zermelo-Fraenkel) 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.The second edition still concentrates largely on Quine''s New Foundations, reflecting the author''s belief that this provides the richest and most mysterious of the various systems dealing with set theories with a universal set. Also included is an expanded and completely revised account of the set theories of Church-Oswald and Mitchell, with descriptions of permutation models and extensions that preserve power sets. Dr Foster here presents the reader with a useful and readable introduction for those interested in this topic, and a reference work for those already involved in this area.
Industry Reviews
`...a lively introductin to the current research on NF'' Maruice Boffa, Modern Logic

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Essays in Analysis : Routledge Revivals - Alice Ambrose
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75