User Wojowu

8 votes

0 answers

297 views

"Complementarity" between homotopy and cohomology [duplicate]

asked Sep 18, 2018 at 19:05

8 votes

0 answers

325 views

Moduli stacks and representability of diagonal by schemes

asked Mar 8, 2021 at 23:09

8 votes

1 answer

707 views

Which ordinals are proof-theoretic ordinals?

asked Jul 11, 2015 at 17:37

7 votes

0 answers

334 views

Berkovich spaces — why use atlases?

asked Aug 1, 2021 at 21:32

7 votes

1 answer

441 views

Can ITTM recognize a non-measurable set?

asked May 27, 2015 at 13:26

7 votes

2 answers

431 views

Only admissibles start gaps in clockable ordinals

asked May 14, 2014 at 19:09

7 votes

2 answers

349 views

Forcing $\neg AC$

asked Jul 12, 2014 at 13:30

7 votes

5 answers

1k views

(reference request) Chaitin's constant is incompressible

asked Aug 1, 2014 at 15:49

6 votes

1 answer

349 views

Choice principle strong enough to defy $V=L$

asked May 28, 2014 at 17:05

6 votes

0 answers

235 views

Does Łoś's theorem imply choice given a free ultrafilter?

asked Dec 18, 2015 at 21:50

6 votes

0 answers

1k views

Intuition behind exceptional inverse image?

asked Jun 12, 2021 at 21:00

5 votes

0 answers

122 views

Are affinoid algebras over nontrivially valued fields Jacobson?

asked Jan 2, 2020 at 12:58

5 votes

1 answer

284 views

Proof of a soft version of Moschovakis's lemma

asked Jun 14, 2015 at 17:38

5 votes

1 answer

568 views

Proof of existence of recursively inaccessible and Mahlo ordinals

asked Apr 19, 2014 at 20:05

4 votes

0 answers

210 views

Upper bound on ranks of well-founded trees in $SKI\Omega$ calculus

asked Oct 6, 2014 at 16:31

4 votes

1 answer

677 views

Are there sets which are computable in one model, but uncomputable in another?

asked Nov 6, 2014 at 15:19

4 votes

2 answers

477 views

Relation between Turing degrees and functions computable with them

asked Nov 21, 2014 at 17:07

4 votes

1 answer

137 views

Is every pair of writable reals one-tape-ITTM-computable?

asked Aug 31, 2015 at 14:46

4 votes

1 answer

357 views

Functions in "gaps" in Hardy hierarchy

asked Nov 30, 2014 at 17:41

4 votes

1 answer

315 views

Is there a "natural" bijection between models of $ZFC$ and $ZF\neg C$?

asked Dec 18, 2014 at 19:39

4 votes

1 answer

465 views

Formal definition of arithmetic transfinite recursion

asked Mar 24, 2015 at 20:42

3 votes

1 answer

600 views

Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

asked Oct 5, 2014 at 19:38

3 votes

1 answer

208 views

Faithful flatness of left adjoint to almostification of algebras

asked Jun 3, 2020 at 11:51

2 votes

1 answer

250 views

Kunen's inconsistency concerning $L$

asked Jul 11, 2014 at 15:21

1 vote

0 answers

63 views

Asymptotics on number of bounded prime gaps [duplicate]

asked May 11, 2015 at 19:20

0 votes

1 answer

303 views

Provability of unprovability

asked Jun 4, 2015 at 17:20

Stack Exchange Network

56 Questions

"Complementarity" between homotopy and cohomology [duplicate]

Moduli stacks and representability of diagonal by schemes

Which ordinals are proof-theoretic ordinals?

Berkovich spaces — why use atlases?

Can ITTM recognize a non-measurable set?

Only admissibles start gaps in clockable ordinals

Forcing $\neg AC$

(reference request) Chaitin's constant is incompressible

Choice principle strong enough to defy $V=L$

Does Łoś's theorem imply choice given a free ultrafilter?

Intuition behind exceptional inverse image?

Are affinoid algebras over nontrivially valued fields Jacobson?

Proof of a soft version of Moschovakis's lemma

Proof of existence of recursively inaccessible and Mahlo ordinals

Upper bound on ranks of well-founded trees in $SKI\Omega$ calculus

Are there sets which are computable in one model, but uncomputable in another?

Relation between Turing degrees and functions computable with them

Is every pair of writable reals one-tape-ITTM-computable?

Functions in "gaps" in Hardy hierarchy

Is there a "natural" bijection between models of $ZFC$ and $ZF\neg C$?

Formal definition of arithmetic transfinite recursion

Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

Faithful flatness of left adjoint to almostification of algebras

Kunen's inconsistency concerning $L$

Asymptotics on number of bounded prime gaps [duplicate]

Provability of unprovability