MathOverflow
B2C's user avatar
B2C's user avatar
B2C's user avatar
B2C
  • Member for 7 years, 11 months
  • Last seen more than 1 year ago
Profile Activity
Stats
218
reputation
2k
reached
2
answers
1
question
Communities
About

I'm a researcher in formal methods with an amateur interest in set theory, large cardinals, algebraic geometry, scheme theory, and HoTT.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
8
Score
2
Posts
67
Posts %
8
Score
2
Posts
67
Posts %
8
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
answer
8
How much Replacement does this axiom provide?
May 13, 2019
question
2
Does every elementary embedding $j:V \to V$ in ZFA arise from a self-injection on the class of atoms?
Dec 31, 2017
answer
0
Set of functions is not a bifunctor on Rel
May 4, 2016
Top network posts
View all network posts
8
What are the group homomorphisms from $ \prod_ {n \in \mathbb {N}} \mathbb {Z} / \bigoplus_ {n \in \mathbb {N}} \mathbb {Z} $ to $ \mathbb {Z} $?