Add your Web Site - Logic and Foundations - Set Theory Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 People (44)
 
 
 
 Show pages from IntraNet   Show all pages
 DIRECTORY/Science/Tech/Math/Logic and Foundations/Set Theory (69)
i0A 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.
 
i0A New System of Axioms Instead of ZF - http://hp.vector.co.jp/authors/VA011700/math/wardwww.htm - The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
 
i0Axiom of Choice and Continuum Hypothesis - http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html - Part of the Frequently Asked Questions in Mathematics.
 
i0Bounded Set Theory - http://www.botik.ru/~logic/bst/bst.html - A weak version of ordinary set theory using bounded quantification. Papers and software.
 
i0Cantor's Theorem - http://www.mathacademy.com/pr/prime/articles/cantor_theorem/ - Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
 
i0Consequences 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.
 
i0Equivalence Relation - http://www.iscid.org/encyclopedia/Equivalence_Relation - Encyclopedia entry on equivalence relations and their role in set theory.
 
i0Extending Set Theory - http://web.mit.edu/dmytro/www/NewSetTheory.htm - 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.
 
i0Infinite Ink: The Continuum Hypothesis, by Nancy McGough - http://www.ii.com/math/ch/ - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
 
i0Metamath Proof Explorer - http://www1.shore.net/~ndm/java/mm.html - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
 
i0New 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.
 
i0Operational Set Theory - http://www.cis.syr.edu/~sanchis/operational.html - Description, errata and reviews of a book by Luis E. Sanchis.
 
i0Programming 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.
 
i0Set 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.
 
i0Set Theorists - http://www.cs.elte.hu/~kope/setad - A list of email addresses and affiliations.
 
i0Set Theory - http://www.math.ufl.edu/~jal/set_theory.html - Directory of set theorists, maintained by Jean A. Larson.
 
i0Set Theory - http://www.math.niu.edu/~rusin/known-math/index/03EXX.html - From Dave Rusin's "Known Math" collection.
 
i0Set Theory - http://plato.stanford.edu/entries/set-theory/ - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
 
i0Set Theory Page - http://www.cis.syr.edu/~sanchis/setory.html - Collection of links related to set theory.
 
i0Set Theory for the Working Mathematician - http://www.math.wvu.edu/~kcies/STbook.html - Krzysztof Ciesielski, CUP (1997). Contents and preface.
 
i0Sets and Their Sizes - http://www.logicandlight.com/projects/Infinity/SetsAndSizes.pdf - An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz.
 
i0Shelah's Archive - http://shelah.logic.at/ - Listing of all articles by Saharon Shelah, and links to many of them.
 
i0The 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.
 
i0The Beginnings of Set Theory - http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html - MacTutor History of Mathematics topic.
 
i0The Future of Set Theory by S. Shelah - http://front.math.ucdavis.edu/math.LO/0211397 - The text of a talk given around the millennium.
 
 E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form