|
|
|
| Up One Level |
|
Topia!: Science: Math: Logic and Foundations: Set Theory (24)
The Axiom of Choice - This page gives a brief explanation of the Axiom of Choice and links to other related websites. Set Theory - Directory of set theorists, maintained by Jean A. Larson. Set Theory Page - Collection of links related to set theory. The Beginnings of Set Theory - MacTutor History of Mathematics topic. A Crash Course in the Mathematics of Infinite Sets - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. Set Theory People - Directory of set theorists. New Foundations - Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software. Issues in Commonsense Set Theory - Paper by Müjdat Pakkan and Varol Akman Programming with Sets - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. Set Theoretic Analysis. - On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. Set Theorists - A list of email addresses and affiliations. Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface. Operational Set Theory - Description, errata and reviews of a book by Luis E. Sanchis. Sets and Their Sizes - An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz in PDF. Cantor's Theorem - Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'. Set Theory - From Dave Rusin's "Known Math" collection. The Mathematics of Set Theory - Detailed description of parts of introductory set theory. Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. Metamath Proof Explorer - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics. The Future of Set Theory by S. Shelah - The text of a talk given around the millennium. Shelah's Archive - Listing of all articles by Saharon Shelah, and links to many of them.
Additional categories:
|
|
|
| Set Theory | ||
|
