Skip to main content
Theoretical Computer Science
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 9 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
41
Joyal's construction of the spectrum of a commutative ring
25
What does a proof in an internal logic actually look like?
20
What are topoi?
18
Is the theory of vector bundles just linear algebra done in a suitable topos?
16
Locales as spaces of ideal/imaginary points