Mathematics
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 10 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
2,915
reputation
59k
reached
56
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
16
silver badges
27
bronze badges
Top tags
View all tags
155
Score
37
Posts
61
Posts %
95
Score
17
Posts
28
Posts %
62
Score
10
Posts
16
Posts %
29
Score
6
Posts
10
Posts %
28
Score
9
Posts
15
Posts %
22
Score
8
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
22
What does a proof in an internal logic actually look like?
May 17, 2013
answer
15
Elementary topoi have initial objects, why?
Jul 2, 2016
answer
15
What are topoi?
Dec 5, 2016
answer
13
Is every commutative ring having the invariant basis number property equivalent to AC?
Feb 25, 2017
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
9
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
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
14
Is the theory of vector bundles just linear algebra done in a suitable topos?
13
Constructively correct notion of unique factorization domain

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.