Bazsites.com Set Theory
Directory Topics
On the Web
- Extending Set Theory - 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.
- Set Theory - Directory of set theorists, maintained by Jean A. Larson.
- Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
- A formulation of the RDF data model - A set-theory model of 'layer 0' and 'layer 1' - A possible set theory model of the RDF level 0 and 1 by Ian Peacock, UKOLN, UK.
- The Beginnings of Set Theory - MacTutor History of Mathematics topic.
- Combinatorics, Probability and Computing - Now published bimonthly, devoted to the three areas of combinatorics, probability theory and theoretical computer science. Topics covered include classical and algebraic graph theory, extremal set theory, matroid theory, probabilistic methods and random combinatorial structures; combinatorial probability and limit theorems for random combinatorial structures; the theory of algorithms (including complexity theory), randomised algorithms, probabilistic analysis of algorithms, computational learning theory and optimisation.
- Set Theory Page - Collection of links related to set theory.
- Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software.
- The Mathematics of Set Theory - Detailed description of parts of introductory set theory.
- 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.
Wikipedia Articles
- Effective descriptive set theory - Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter. Thus effective descriptive set theory combines descriptive set theory with recursion theory.
- Axiomatic set theory - In mathematics, axiomatic set theory is a rigorous reformulation of set theory in first-order logic created to address paradoxes in naive set theory. The basis of set theory was created principally by the German mathematician Georg Cantor at the end of the 19th century.
- Morse–Kelley set theory - Morse–Kelley set theory or Kelley–Morse set theory (MK or KM) is a set theory with proper classes properly extending the usual set theory ZF. It is a first
- Naive set theory - In the discussion of the foundations of mathematics, several set theories have been developed, of which naive set theoryConcerning the origin of the term naive set theory, Jeff Miller has this to say: “Naïve set theory (contrasting with axiomatic set theory) was used occasionally in the 1940s and became an established term in the 1950s. It appears in Hermann Weyl's review of ...
- Quasi-set theory - Quasi-set theory is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi-set theory is closely related to, yet distinct from, axiomatic set theory.