Question

Why does the Cantor-Bendixson cupcake theorem need transfinite induction?

score 553 · Answer 1 · 2020-04-10 19:47:10

553

Views

Why does the Cantor-Bendixson cupcake theorem need transfinite induction?

Published on 10 Apr 2020 - 19:47

score 304 · Answer 2 · 2020-04-26 09:10:01

304

Views

What is the Turing degree of the set of true formula of Second Order Arithmetic?

Published on 26 Apr 2020 - 9:10

score 92 · Answer 3 · 2026-02-28 03:01:21

92

Views

What is the Turing degree of the set of True formula of Arithmetic whose order is an infinite ordinal

Published on 28 Feb 2026 - 3:01

score 105 · Answer 4 · 2020-04-30 11:22:25

105

Views

How much choice is needed to prove that every compact metric space is a continuous image of the Cantor set?

Published on 30 Apr 2020 - 11:22

score 93 · Answer 5 · 2026-03-24 23:19:02

93

Views

Reducing the strength of a category theoretic proof

Published on 24 Mar 2026 - 23:19

score 91 · Answer 6 · 2020-05-26 18:16:36

91

Views

How can i figure out an algorithm by comparing input and output?

Published on 26 May 2020 - 18:16

score 1k · Answer 7 · 2016-07-28 02:57:55

1k

Views

Are there non-standard counterexamples to the Fermat Last Theorem?

Published on 28 Jul 2016 - 2:57

score 584 · Answer 8 · 2016-08-30 00:53:01

584

Views

Relationship between l'Hospital's rule and the least upper bound property.

Published on 30 Aug 2016 - 0:53

score 365 · Answer 9 · 2016-10-04 11:30:41

365

Views

Prove the Archimedes principle using Heine-Borel finite covering theorem/Bolzano-Weierstrass theorem

Published on 04 Oct 2016 - 11:30

score 326 · Answer 10 · 2016-10-26 14:28:22

326

Views

What is one set of axioms which are sufficient for Calculus?

Published on 26 Oct 2016 - 14:28

score 87 · Answer 11 · 2016-10-31 09:05:50

87

Views

What's the strength of caratheodory extension theorem?

Published on 31 Oct 2016 - 9:05

score 85 · Answer 12 · 2017-02-12 11:46:04

85

Views

What sort of language does the language of second-order arithmetic become if the 'numbers' are the finite ordinals?

Published on 12 Feb 2017 - 11:46

score 162 · Answer 13 · 2017-02-21 13:34:36

162

Views

Theorem in ACA that is unprovable in $Π^1_1$-CA$_0$?

Published on 21 Feb 2017 - 13:34

score 3.6k · Answer 14 · 2017-02-21 19:23:48

3.6k

Views

Is most of mathematics independent of set theory?

Published on 21 Feb 2017 - 19:23

score 72 · Answer 15 · 2023-02-10 19:54:20

72

Views

Is it possible to prove the reversibility exponent math?

Published on 10 Feb 2023 - 19:54

List Question

Why does the Cantor-Bendixson cupcake theorem need transfinite induction?

What is the Turing degree of the set of true formula of Second Order Arithmetic?

What is the Turing degree of the set of True formula of Arithmetic whose order is an infinite ordinal

How much choice is needed to prove that every compact metric space is a continuous image of the Cantor set?

Reducing the strength of a category theoretic proof

How can i figure out an algorithm by comparing input and output?

Are there non-standard counterexamples to the Fermat Last Theorem?

Relationship between l'Hospital's rule and the least upper bound property.

Prove the Archimedes principle using Heine-Borel finite covering theorem/Bolzano-Weierstrass theorem

What is one set of axioms which are sufficient for Calculus?

What's the strength of caratheodory extension theorem?

What sort of language does the language of second-order arithmetic become if the 'numbers' are the finite ordinals?

Theorem in ACA that is unprovable in $Π^1_1$-CA$_0$?

Is most of mathematics independent of set theory?

Is it possible to prove the reversibility exponent math?

Trending Questions

Popular # Hahtags

Popular Questions