MathOverflow
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 11 years, 2 months
  • Last seen this week
Profile Activity

9 Questions

Score Activity Newest Views
6 votes
1 answer
332 views

Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")

7 votes
2 answers
975 views

Explaining the consistency of PRA and ZF from predicative foundations

9 votes
0 answers
363 views

Reflection principle for intuitionistic Zermelo–Fraenkel?

16 votes
1 answer
1k views

Does every sheaf embed into a quasicoherent sheaf?

12 votes
0 answers
409 views

What does the localic reflection of a classifying topos classify?

9 votes
1 answer
322 views

When are free modules on sheaves of sets quasicoherent?

9 votes
1 answer
442 views

Base change in homotopy type theory

5 votes
2 answers
452 views

German translation of "locale" (from pointless topology)

13 votes
1 answer
593 views

Constructively correct notion of unique factorization domain