Skip to main content
MathOverflow
User7819's user avatar
User7819's user avatar
User7819's user avatar
User7819
  • Member for 10 years
  • Last seen more than 1 year ago
Profile Activity
Stats
203
reputation
277
reached
0
answers
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
4
Cocomplete quasitoposes that are not locally presentable
May 19, 2021
question
3
Word problem for finitely presented bounded lattices
Nov 14, 2017
question
3
Categories in which finite powers commute with filtered colimits
Feb 15, 2022
Top network posts
View all network posts
8
Models of a certain (weird) equational theory
6
Classifying topos of algebraic theory
6
Is infinitary first-order logic strictly more expressive than weak second-order logic?
6
Logical characterization of P versus NP problem (and references for least fixed point logic)
5
Functorial type constructors in System F