Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
Set Theory (65)
|
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
http://www.earlham.edu/~peters/writing/infapp.htm
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
http://hp.vector.co.jp/authors/VA011700/math/wardwww.htm
Part of the Frequently Asked Questions in Mathematics.
http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html
A weak version of ordinary set theory using bounded quantification. Papers and software.
http://www.botik.ru/~logic/bst/bst.html
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
http://www.mathacademy.com/pr/prime/articles/cantor_theorem/
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/~hrubin/JeanRubin/Papers/conseq.html
Encyclopedia entry on equivalence relations and their role in set theory.
http://www.iscid.org/encyclopedia/Equivalence_Relation
Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles.
http://web.mit.edu/dmytro/www/NewSetTheory.htm
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
http://www.ii.com/math/ch/
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
http://www1.shore.net/~ndm/java/mm.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.
http://math.boisestate.edu/~holmes/holmes/nf.html
Description, errata and reviews of a book by Luis E. Sanchis.
http://www.cis.syr.edu/~sanchis/operational.html
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
http://www.cs.nmsu.edu/~complog/sets/
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
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
http://plato.stanford.edu/entries/set-theory/
Collection of links related to set theory.
http://www.cis.syr.edu/~sanchis/setory.html
Krzysztof Ciesielski, CUP (1997). Contents and preface.
http://www.math.wvu.edu/~kcies/STbook.html
Listing of all articles by Saharon Shelah, and links to many of them.
http://shelah.logic.at/
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
MacTutor History of Mathematics topic.
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html
The text of a talk given around the millennium.
http://front.math.ucdavis.edu/math.LO/0211397
Last Updated: 2007-01-02 17:54:52
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
