ENGLISH

Set Theory with a Universal Set: Exploring an Untyped Universe

By T E Forster

Book information

Publisher
OUP
Year
1995
ISBN
0198514778, 9780198514770
Language
english
Format
DJVU
Filesize
871 kB (891683 bytes)
Series
Oxford Logic Guides 31
Edition
2nd ed
Pages
177\177
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2012-12-29 17:00:00

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