Template:Featured article

From Young Set Theory Network

 

Arguably the most famous formally unsolvable problem of mathematics is Hilbert's first problem:

Cantor's Continuum Hypothesis: Suppose that is an uncountable set. Then there exists a bijection .

This problem belongs to an ever-increasing list of problems known to be unsolvable from the (usual) axioms of set theory.

However, some of these problems have now been solved. But what does this actually mean? Could the Continuum Hypothesis be similarly solved? These questions are the subject of this article, and the discussion will involve ingredients from many of the current areas of set theoretical investigation. Most notably, both Large Cardinal Axioms and Determinacy Axioms play central roles.

The featured article is chosen randomly between the available ones.

Featured articles

 

Arguably the most famous formally unsolvable problem of mathematics is Hilbert's first problem:

Cantor's Continuum Hypothesis: Suppose that is an uncountable set. Then there exists a bijection .

This problem belongs to an ever-increasing list of problems known to be unsolvable from the (usual) axioms of set theory.

However, some of these problems have now been solved. But what does this actually mean? Could the Continuum Hypothesis be similarly solved? These questions are the subject of this article, and the discussion will involve ingredients from many of the current areas of set theoretical investigation. Most notably, both Large Cardinal Axioms and Determinacy Axioms play central roles.

To add new articles

• If you want to add a new article, create the template "Featured_article_X", where X is the next available number. Then, modify the beggining of this page replacing the new "X" in the template:

{{Featured_article_{{#expr:{{#time:U}} mod X+1}}}}