Skip to main content
MathOverflow
Frank's user avatar
Frank's user avatar
Frank's user avatar
Frank
  • Member for 11 years, 4 months
  • Last seen this week
Profile Activity
Stats
567
reputation
5k
reached
1
answer
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
11
bronze badges
Top tags
View all tags
0
Score
5
Posts
83
Posts %
0
Score
3
Posts
50
Posts %
0
Score
3
Posts
50
Posts %
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
29
Is there a probability theory developed in intuitionistic logic?
Aug 12, 2013
question
6
Heyting algebras originating from directed graphs
Feb 18, 2016
question
6
Condition for a functor to induce a cartesian closed functor between categories of presheaves
Nov 26
question
3
Is the class of Heyting algebras originating from directed graphs a variety?
Mar 11, 2016
question
2
Is the logic of directed graphs generated by a finite set of formulae?
Aug 1, 2016
answer
2
Examples of Mathematicians who excelled in Pure and Applied Mathematics
Nov 9, 2019