Math: Logic and Foundations: Set Theory

the entire directory only this category

Advanced Search

Home : Math : Logic and Foundations : Set Theory

CATEGORIES:

People (50)

LINKS:

A Crash Course in the Mathematics of Infinite Sets
http://www.earlham.edu/~peters/writing/infapp.htm
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.

Axiom of Choice and Continuum Hypothesis
http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html
Part of the Frequently Asked Questions in Mathematics.

Bounded Set Theory
http://www.botik.ru/~logic/bst/bst.html
A weak version of ordinary set theory using bounded quantification. Papers and software.

Cantor's Donut Paradox
http://www.cantorsdonutparadox.co.uk/
Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series.

Cantor's Theorem
http://www.mathacademy.com/pr/prime/articles/cantor_theorem/
Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.

Consequences of the Axiom of Choice Project
http://www.math.purdue.edu/~jer/cgi-bin/conseq.html
Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.

Equivalence Relation
http://www.iscid.org/encyclopedia/Equivalence_Relation
Encyclopedia entry on equivalence relations and their role in set theory.

Infinite Ink: The Continuum Hypothesis, by Nancy McGough
http://www.ii.com/math/ch/
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis

Issues in Commonsense Set Theory
http://www.cs.bilkent.edu.tr/~akman/jour-papers/air/air.html
Paper by Müjdat Pakkan and Varol Akman

Metamath Proof Explorer
http://metamath.org
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

New Foundations
http://math.boisestate.edu/~holmes/holmes/nf.html
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.

Operational Set Theory
http://www.cis.syr.edu/~sanchis/operational.html
Description, errata and reviews of a book by Luis E. Sanchis.

Programming with Sets
http://www.CS.NMSU.Edu/~complog/sets/
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.

Set Theoretic Analysis.
http://www.math.wvu.edu/~kcies/STA/STA.html
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.

Set Theorists
http://www.cs.elte.hu/~kope/setad
A list of email addresses and affiliations.

Set Theory
http://www.math.ufl.edu/~jal/set_theory.html
Directory of set theorists, maintained by Jean A. Larson.

Set Theory
http://www.math.niu.edu/~rusin/known-math/index/03EXX.html
From Dave Rusin's "Known Math" collection.

Set Theory
http://plato.stanford.edu/entries/set-theory/
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.

Set Theory for the Working Mathematician
http://www.math.wvu.edu/~kcies/STbook.html
Krzysztof Ciesielski, CUP (1997). Contents and preface.

Set Theory Page
http://www.cis.syr.edu/~sanchis/setory.html
Collection of links related to set theory.

Shelah's Archive
http://shelah.logic.at/
Listing of all articles by Saharon Shelah, and links to many of them.

The Axiom of Choice
http://math.vanderbilt.edu/~schectex/ccc/choice.html
This page gives a brief explanation of the Axiom of Choice and links to other related websites.

The Beginnings of Set Theory
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html
MacTutor History of Mathematics topic.

The Future of Set Theory by S. Shelah
http://front.math.ucdavis.edu/math.LO/0211397
The text of a talk given around the millennium.

The Mathematics of Set Theory
http://www.jboden.demon.co.uk/
Detailed description of parts of introductory set theory.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

© atomseek.com
Website Development by MIRO

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.