|
|
|
|
Home / Science / Math / Logic and Foundations / Set Theory
|
|
|
|
Web Sites
|
- A Crash Course in the Mathematics of Infinite Sets - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
www.earlham.edu/~peters/writing/infapp.htm
- Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software.
www.botik.ru/~logic/bst/bst.html
- Cantor's Theorem - Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
www.mathacademy.com/pr/prime/articles/cantor_theorem
- Infinite Ink: The Continuum Hypothesis, by Nancy McGough - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
www.ii.com/math/ch
- Issues in Commonsense Set Theory - Paper by Müjdat Pakkan and Varol Akman
www.cs.bilkent.edu.tr/~akman/jour-papers/air/air.html
- 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.
math.boisestate.edu/~holmes/holmes/nf.html
- Operational Set Theory - Description, errata and reviews of a book by Luis E. Sanchis.
www.cis.syr.edu/~sanchis/operational.html
- Programming with Sets - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
www.CS.NMSU.Edu/~complog/sets
- Set Theoretic Analysis. - On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
www.math.wvu.edu/~kcies/STA/STA.html
- Set Theorists - A list of email addresses and affiliations.
www.cs.elte.hu/~kope/setad
- Set Theory - Directory of set theorists, maintained by Jean A. Larson.
www.math.ufl.edu/~jal/set_theory.html
- Set Theory - From Dave Rusin's "Known Math" collection.
www.math.niu.edu/~rusin/known-math/index/03EXX.html
- Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
plato.stanford.edu/entries/set-theory
- Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface.
www.math.wvu.edu/~kcies/STbook.html
- Set Theory Page - Collection of links related to set theory.
www.cis.syr.edu/~sanchis/setory.html
- Set Theory People - Directory of set theorists.
cid.unomaha.edu/~aroslano/people.html
- Sets and Their Sizes - An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz in PDF.
www.logicandlight.com/projects/Infinity
- Shelah's Archive - Listing of all articles by Shelah, and links to lots of them.
www.math.rutgers.edu/~shelah
- The Axiom of Choice - This page gives a brief explanation of the Axiom of Choice and links to other related websites.
math.vanderbilt.edu/~schectex/ccc/choice.html
- The Beginnings of Set Theory - MacTutor History of Mathematics topic.
www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html
- The Future of Set Theory by S. Shelah - The text of a talk by S. Shelah given around the millennium.
www.math.rutgers.edu/~shelah/future/E16.html
- The Mathematics of Set Theory - Detailed description of parts of introductory set theory.
www.jboden.demon.co.uk
|
|
|
|
|