Question

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

score 554 · Answer 1 · 2026-03-25 09:31:33

554

Views

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

Published on 25 Mar 2026 - 9:31

score 305 · Answer 2 · 2026-03-25 07:44:48

305

Views

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

Published on 25 Mar 2026 - 7:44

score 94 · Answer 3 · 2026-04-01 00:52:21

94

Views

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

Published on 01 Apr 2026 - 0:52

score 106 · Answer 4 · 2026-03-25 07:44:52

106

Views

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

Published on 25 Mar 2026 - 7:44

score 108 · Answer 5 · 2026-04-26 07:52:29

108

Views

Reducing the strength of a category theoretic proof

Published on 26 Apr 2026 - 7:52

score 92 · Answer 6 · 2026-03-25 07:40:27

92

Views

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

Published on 25 Mar 2026 - 7:40

score 1k · Answer 7 · 2026-04-09 17:35:46

1k

Views

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

Published on 09 Apr 2026 - 17:35

score 587 · Answer 8 · 2026-04-13 00:47:35

587

Views

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

Published on 13 Apr 2026 - 0:47

score 368 · Answer 9 · 2026-04-13 11:51:43

368

Views

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

Published on 13 Apr 2026 - 11:51

score 329 · Answer 10 · 2026-04-13 20:18:39

329

Views

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

Published on 13 Apr 2026 - 20:18

score 90 · Answer 11 · 2026-04-14 15:42:12

90

Views

What's the strength of caratheodory extension theorem?

Published on 14 Apr 2026 - 15:42

score 88 · Answer 12 · 2026-04-15 07:19:17

88

Views

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

Published on 15 Apr 2026 - 7:19

score 165 · Answer 13 · 2026-04-13 11:41:08

165

Views

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

Published on 13 Apr 2026 - 11:41

score 3.6k · Answer 14 · 2026-04-09 22:11:54

3.6k

Views

Is most of mathematics independent of set theory?

Published on 09 Apr 2026 - 22:11

score 73 · Answer 15 · 2026-03-25 07:42:39

73

Views

Is it possible to prove the reversibility exponent math?

Published on 25 Mar 2026 - 7:42

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