| Claus_Emmeche Home page of a theoretical biologist with general interests in Philosophy of Nature, Philosophy of Science, and Science Studies, and research interests in artificial life and theoretical biology. Link |
| David_Liley Home page of a theoretical neurobiologist at Swinburne University of Technology. Papers on theoretical models of the mammalian electroencephalogram and related lecture notes (medical imaging, physiol |
| Department_of_Ecology_and_Evolutionary_Biology,_Princeton_University The Ecology and Evolutionary Biology (EEB) Department carries out research in a wide range of areas across evolution and ecology. Areas of particular interest include molecular evolution, behavioural |
| Honig_Lab_at_Columbia_University Research combines computational biophysics and bioinformatics to aid in understanding the structural, physical, and chemical basis of a wide range of biological phenomena, with a focus on protein stru |
| Molecular_Information_Theory The theory of molecular machines from the NIH Laboratory of Computational and Experimental Biology. |
| Program_in_Theoretical_Biology,_Institute_for_Advanced_Study The Program in Theoretical Biology has many diverse interests, including immunology and virology, the evolution of language, evolutionary genomics, epidemiology, the evolution of cancer and the evolut |
| Random_Variations_to_Biological_Choice Philosophical speculations on physics and biology. |
| Short_Courses_on_the_Mathematics_of_Biological_Complexity Three short courses will be held at the University of Tennessee to give biologists a rapid introduction to the mathematical and computational topics appropriate for understanding current research in |
| Theoretical_Biology_and_Biophysics_(T-10) The Theoretical Biology and Biophysics Group (T-10) at Los Alamos National Laboratory focuses on the modeling of biological systems and the analysis and informatics of molecular and cellular biologi |
| Theoretical_Biology_at_Utrecht_University,_Netherlands Formal models in ecology, spatial pattern formation, (molecular) evolution, immunology, and ethology. Formalisms range from mathematical models, cellular automata, genetic algorithms, to discrete-ev |
| Theoretical_Biology_Groningen Focuses on competition and natural selection, more specifically evolutionary game theory, life history theory, ual selection, allocation, metapopulation genetics, resource competition, and inte |
| University_of_Lund Department of Theoretical Ecology. Members, teaching and research. |
| University_of_Vienna Department of Theoretical Biology. Research groups and resources. |
| Vrije_Universiteit_Amsterdam Department of Theoretical Biology. A do-it-yourself online course in 'methods in theoretical biology' and yearly organised online courses on the Dynamic Energy Budget (DEB) theory of the development |
| The_Axiom_of_Choice This page gives a brief explanation of the Axiom of Choice and links to other related websites. |
| Axiom_of_Choice_and_Continuum_Hypothesis Part of the Frequently Asked Questions in Mathematics. |
| The_Beginnings_of_Set_Theory MacTutor History of Mathematics topic. |
| Bounded_Set_Theory A weak version of ordinary set theory using bounded quantification. Papers and software. |
| Cantor\'s_Theorem Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered. |
| 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. |
| A_Crash_Course_in_the_Mathematics_of_Infinite_Sets A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. |
| Equivalence_Relation Encyclopedia entry on equivalence relations and their role in set theory. |
| 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. |
| The_Future_of_Set_Theory_by_S__Shelah The text of a talk given around the millennium. |
| Infinite_Ink__The_Continuum_Hypothesis,_by_Nancy_McGough History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis. |
| The_Mathematics_of_Set_Theory Detailed description of parts of introductory set theory. |
| Metamath_Proof_Explorer Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. |
| 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 apparen |
| A_New_System_of_Axioms_Instead_of_ZF The page claims that "the axioms shown below have the contents that should overturn the set theory of today". |
| Operational_Set_Theory Description, errata and reviews of a book by Luis E. Sanchis. |
| Programming_with_Sets Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. |
| Set_Theoretic_Analysis_ On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. |
| Set_Theorists A list of email addresses and affiliations. |
| Set_Theory Directory of set theorists, maintained by Jean A. Larson. |
| Set_Theory Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. |
| Set_Theory From Dave Rusin's "Known Math" collection. |
| Set_Theory_for_the_Working_Mathematician Krzysztof Ciesielski, CUP (1997). Contents and preface. |
| Set_Theory_Page Collection of links related to set theory. |
| Sets_and_Their_Sizes An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz. |
| Shelah\'s_Archive Listing of all articles by Saharon Shelah, and links to many of them. |
| Algebraic_Geometry,_Commutative_Algebra_and_Combinatorics Exterior Algebra Methods and Other New Directions. Erice, Sicily, Italy; 9 -- 15 September 2001. |
| AMC2005 4th Asian Mathematical Conference. Singapore; 20--23 July 2005. |
| AMS/DMV/ÖMG_2005 Joint Meeting of the American, German and Austrian Mathematical Societies. Mainz, Germany; 16--19 June 2005. |
| AMS/HKMS_Joint_Meeting_2000 First Joint International Meeting of the AMS and the Hong Kong Mathematical Society. Hong Kong Baptist University; 13--16 December 2000. |
| AMS/RSME_2003 First Joint International Meeting between the American Mathematical Society and the Real Sociedad Matemática Española. Seville, Spain; 18--21 June 2003. |
| AMS/SMF_Joint_Meeting First Joint Meeting of the American Mathematical Society and the Société Mathématique de France. Ecole normale supérieure de Lyon, France; 17--20 July 2001. |
| AMS/SMM_Joint_Meeting Fifth Joint Meeting of the American Mathematical Society and the Sociedad Matemática Mexicana. Morelia, Mexico; 23--26 May 2001 . |
| AMS/UMI_2002 First Joint International Meeting of the American Mathematical Society and the Unione Matematica Italiana. Pisa, Italy; 12--16 June 2002. |
| Artificial_Intelligence_and_Mathematics 7th International Symposium. Fort Lauderdale, Florida, USA; 2--4 January 2002. |
| Artificial_Intelligence_and_Mathematics 6th International Symposium. Fort Lauderdale, Florida, USA; 5--7 January 2000. |
| Artificial_Intelligence_and_Mathematics 5th International Symposium. Fort Lauderdale, Florida, USA; 4--6 January 1998. |
| ASCM_2001_-_Fifth_Asian_Symposium_on_Computer_Mathematics Ehime University, Matsuyama, Japan. 26--28 September 2001. |
| ATCM_2003 8th Asian Technology Conference in Mathematics. Chung Hua University, Hsin-Chu, Taiwan; 15--19 December 2003. |
| ATCM_2004 9th Asian Technology Conference in Mathematics. National Institute of Education, Nanyang Technological University, Singapore; 13--17 December 2004. |
| ATCM_2005 10th Asian Technology Conference in Mathematics. Korea National University of Education, Cheong-Ju, South Korea; 12--16 December 2005. |
| ATCM2001_-_6th_Asian_Technology_Conference_in_Mathematics An interdisciplinary forum for teachers, researchers, educators, and decision makers around the world in the fields of mathematics and mathematical sciences. RMIT University, Melbourne, Australia; |
| ATCM2000/ASCM2000 Fifth Asian Technology Conference in Mathematics and Fourth Asian Symposium on Computer Mathematics. Chiang Mai University, Thailand; 17--21 December 2000. |
| Atlas_Abstracts__New_Zealand_Mathematics_Colloquium_2001 Turitea site, Palmerston North campus, Massey University; 3--6 December 2001. |
| Australian_Mathematical_Society_45th_Annual_Meeting Australian National University, Canberra; 22--26 September 2001. |
| BMC_2004 56th British Mathematical Colloquium conjointly with the 17th Annual Meeting of the Irish Mathematical Society. Special Sessions: Noncommutative functional analysis; Combinatorics. Department of Pur |
| BMC_2006 58th British Mathematical Colloquium. University of Newcastle, Newcastle upon Tyne, UK; 10--13 April 2006. |
| BMC/BAMC_2002 Joint British Mathematical and Applied Mathematical Colloquium. Mathematics Institute, Warwick, UK; 7--12 April 2002. |
| BMS/DMV_Joint_Meeting_Liège_2001 First joint meeting of the Belgian and German Mathematical Socieities. University of Liège; 8--10 June 2001. |
| Bridges Mathematical Connections in Art, Music and Science, with Coxeter Day. Banff Centre, Alberta, Canada; 31 July -- 3 August 2005. |
| Bunyakovsky_International_Conference Kyiv, Ukraine; 16--21 August 2004. |
| CAARMS8 8th Annual Conference for African-American Researchers in the Mathematical Sciences. Princeton University, NJ, USA; 18--21 June 2002. |
