Set Theory with a Universal Set: Exploring an Untyped Universe
T E Forster
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
Կատեգորիաներ:
Տարի:
1995
Հրատարակում:
2nd ed
Հրատարակչություն:
OUP
Լեզու:
english
Էջեր:
177
ISBN 10:
0198514778
ISBN 13:
9780198514770
Սերիաներ:
Oxford Logic Guides 31
Ֆայլ:
DJVU, 871 KB
IPFS:
,
english, 1995