Mathematics
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
Stats
3,135
reputation
64k
reached
59
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
28
bronze badges
Top tags
View all tags
165
Score
37
Posts
58
Posts %
102
Score
17
Posts
27
Posts %
68
Score
10
Posts
16
Posts %
32
Score
6
Posts
9
Posts %
28
Score
9
Posts
14
Posts %
25
Score
5
Posts
8
Posts %
Top posts
View all questions and answers
answer
24
What does a proof in an internal logic actually look like?
May 17, 2013
answer
17
What are topoi?
Dec 5, 2016
answer
15
Is every commutative ring having the invariant basis number property equivalent to AC?
Feb 25, 2017
answer
15
Elementary topoi have initial objects, why?
Jul 2, 2016
answer
13
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
Aug 15, 2014
answer
12
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
Feb 21, 2015
answer
10
Finitely generated projective modules are locally free
May 8, 2015
answer
8
Stack semantics for the layman
Nov 29, 2015
answer
7
Triple negation in intuitionistic logic?
Oct 17, 2018
answer
6
Smooth real line and Dedekind cuts
May 16, 2019
Top network posts
View all network posts
40
Joyal's construction of the spectrum of a commutative ring
16
Does every sheaf embed into a quasicoherent sheaf?
16
Locales as spaces of ideal/imaginary points
15
Is the theory of vector bundles just linear algebra done in a suitable topos?
13
Constructively correct notion of unique factorization domain