Set Theory

Home

Panda bites his third tourist in two years at Beijing zoo

A panda at Beijing zoo bites a man for the third time in two years.

news.bbc.co.uk

Animal matters

Scotland's debate over tests on primates

news.bbc.co.uk

Tech fair offers greener vision

Analysts at the Consumer Electronics Show say green credentials of tech products will become critical to success.

news.bbc.co.uk

Everest trip helps critically ill

Blood oxygen levels recorded on a trip by medics to Everest could help the treatment of critically ill patients.

news.bbc.co.uk

Feilden's blog

Ground-breaking new technique in stem cell science

news.bbc.co.uk

Body repair 'could be ramped up'

A combination of drugs could trick the body into sending its repair mechanisms into overdrive, say scientists.

news.bbc.co.uk

US vows 'huge' marine protection

The US is to establish "the largest area of protected sea in the world", banning fishing and mining, around its Pacific islands.

news.bbc.co.uk

Earth Watch

Why it is hard to predict sudden environmental crises

news.bbc.co.uk

A deep-sea fish caught in the Pacific has mirrors for eyes

A deep-sea fish caught in the Pacific has eyes which use mirrors as well as lenses, scientists discover.

news.bbc.co.uk

Holes give edge to new armour

Scientists from the UK Ministry of Defence (MoD) have devised ultra-hard vehicle armour to protect military personnel.

news.bbc.co.uk

Mummy of female pharaoh uncovered

Egyptologists find remains of a mummy thought to belong to a queen who ruled 4,300 years ago, Egypt's antiquities chief announced.

news.bbc.co.uk

Eat it or lose it - why centuries of crop diversity are at risk

Centuries of crop diversity are at risk of being lost forever as farmers turn to just a few modern, high yielding varieties.

news.bbc.co.uk

'Wolfman' returns

Explorer Jim McNeill tracks down Arctic wolves

news.bbc.co.uk

Black holes 'preceded galaxies'

Astronomers believe they have solved a cosmic chicken-and-egg question: what came first - black holes or galaxies?

news.bbc.co.uk

Heat may spark world food crisis

Half the world's population could face food crisis by 2100 as soaring temperatures cripple staple crops, scientists warn.

news.bbc.co.uk

Zimbabwe troops 'eat elephants'

A Zimbabwean wildlife campaigner tells the BBC that soldiers are being given elephant meat to eat, as the economic crisis deepens.

news.bbc.co.uk

Our writers talk back

Some of the previous contributors to the Green Room respond to readers' questions and comments.

news.bbc.co.uk

Poetry or science?

Is romantic love just a chemical cocktail?

news.bbc.co.uk

Venomous mammal caught on camera

Rare footage of one of the world's most strange and elusive mammals is captured by scientists.

news.bbc.co.uk

China alert over bird flu death

Chinese authorities shut down and clean poultry markets in Hebei province, after the first human death in nearly a year.

news.bbc.co.uk

First flight of algae-fuelled jet

Continental Airlines is the latest to test fly a jet biofuel, this time with a product derived partially from algae.

news.bbc.co.uk

Beagle hunter

On a mission to find the most famous ship of science

news.bbc.co.uk

Canadians claim South Pole record

A trio of Canadians claim a new record for the fastest trek across Antarctica to the South Pole.

news.bbc.co.uk

Mosquitoes make sweet love music

Sexy songs sung by mosquitoes in courtship could be key to curbing the spread of dengue fever, say scientists.

news.bbc.co.uk

Baby Jupiter's huge weight gain

The planet Jupiter must have gained mass fast during its infancy, according to astronomers.

news.bbc.co.uk

Science > Math > Logic and Foundations > Set Theory

Last searches:maybank2u docomo knuddels pokemon lexikon בר רפאלי

Set Theory

People (44)

Set Theory:

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

Graand

Free Classified Ads Portal

www.graand.com

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

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

Bounded Set Theory

A weak version of ordinary set theory using bounded quantification. Papers and software.

http://www.botik.ru/~logic/bst/bst.html

Cantor's Theorem

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/

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

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

Equivalence Relation

Encyclopedia entry on equivalence relations and their role in set theory.

http://www.iscid.org/encyclopedia/Equivalence_Relation

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.

http://web.mit.edu/dmytro/www/NewSetTheory.htm

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

Infinite Ink: The Continuum Hypothesis, by Nancy McGough

History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.

http://www.ii.com/math/ch/

Metamath Proof Explorer

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

http://www1.shore.net/~ndm/java/mm.html

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

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".

http://hp.vector.co.jp/authors/VA011700/math/wardwww.htm

Operational Set Theory

Description, errata and reviews of a book by Luis E. Sanchis.

http://www.cis.syr.edu/~sanchis/operational.html

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/

Set Theoretic Analysis.

On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.