JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping | Store | Usenet Groups

Infinite Ink: The Continuum Hypothesis, by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
http://www.ii.com/math/ch/
Reviews Rating: Not yet Rated Whois Check

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

Set Theory
Directory of set theorists, maintained by Jean A. Larson.
http://www.math.ufl.edu/~jal/set_theory.html
Reviews Rating: Not yet Rated Whois Check

Set Theory Page
Collection of links related to set theory.
http://www.cis.syr.edu/~sanchis/setory.html
Reviews Rating: Not yet Rated Whois Check

The Beginnings of Set Theory
MacTutor History of Mathematics topic.
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html
Reviews Rating: Not yet Rated Whois Check

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

Set Theory People
Directory of set theorists.
http://cid.unomaha.edu/~aroslano/people.html
Reviews Rating: Not yet Rated Whois Check

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.
http://math.boisestate.edu/~holmes/holmes/nf.html
Reviews Rating: Not yet Rated Whois Check

Bounded Set Theory
A weak version of ordinary set theory using bounded quantification. Papers and software.
http://www.botik.ru/~logic/bst/bst.html
Reviews Rating: Not yet Rated Whois Check

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

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

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

Set Theorists
A list of email addresses and affiliations.
http://www.cs.elte.hu/~kope/setad
Reviews Rating: Not yet Rated Whois Check

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

Operational Set Theory
Description, errata and reviews of a book by Luis E. Sanchis.
http://www.cis.syr.edu/~sanchis/operational.html
Reviews Rating: Not yet Rated Whois Check

Sets and Their Sizes
An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz in PDF.
http://www.logicandlight.com/projects/Infinity
Reviews Rating: Not yet Rated Whois Check

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

Set Theory
From Dave Rusin's "Known Math" collection.
http://www.math.niu.edu/~rusin/known-math/index/03EXX.html
Reviews Rating: Not yet Rated Whois Check

The Mathematics of Set Theory
Detailed description of parts of introductory set theory.
http://www.jboden.demon.co.uk/
Reviews Rating: Not yet Rated Whois Check

Set Theory
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
http://plato.stanford.edu/entries/set-theory/
Reviews Rating: Not yet Rated Whois Check

Metamath Proof Explorer
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory
axioms.
http://metamath.org
Reviews Rating: Not yet Rated Whois Check

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

The Future of Set Theory by S. Shelah
The text of a talk given around the millennium.
http://front.math.ucdavis.edu/math.LO/0211397
Reviews Rating: Not yet Rated Whois Check

Shelah's Archive
Listing of all articles by Saharon Shelah, and links to many of them.
http://shelah.logic.at/
Reviews Rating: Not yet Rated Whois Check

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

Equivalence Relation
Encyclopedia entry on equivalence relations and their role in set theory.
http://www.iscid.org/encyclopedia/Equivalence_Relation
Reviews Rating: Not yet Rated Whois Check


Search Science Math Logic and Foundations Set Theory in Amazon

Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp. ©2004 Jasmine Computers Inc. Click here to subscribe for Jasminecorp's product News. Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search Submit a Site to Jasminecorp.net Directory || Advertise with us