ENGLISH

Set Theory with a Universal Set: Exploring an Untyped Universe

By T. E. Forster

Book information

Publisher
Oxford University Press
Year
1995
ISBN
0198514778, 9780198514770
LCC
QA248 .F67 1995
Google Books ID
fS13gB7WKlQC
Language
english
Format
PDF
Filesize
7 MB (6990331 bytes)
Series
Oxford Logic Guides 31
Edition
2nd
Pages
177\177
Topic
Mathematics Logic
Orientation
yes
Scanned
yes
Time added
2011-08-31 04:54:40

Description

Increasing interest 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. Included are expanded accounts of the set theories of Church, Oswald and Mitchell, with descriptions of permutation models and extensions that preserve power

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF