Skip to main content
MathOverflow
Hexirp's user avatar
Hexirp's user avatar
Hexirp's user avatar
Hexirp
  • Member for 4 years, 7 months
  • Last seen this week
Profile Activity
Stats
325
reputation
2k
reached
2
answers
5
questions
Communities
View all
About

I am a theoretical programmer.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
2
Score
4
Posts
57
Posts %
2
Score
2
Posts
29
Posts %
2
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
18
Are we sure the calculus of inductive constructions and ZFC plus countably many inaccessible cardinals are equiconsistent?
Jan 6, 2021
2
Are we sure the calculus of inductive constructions and ZFC plus countably many inaccessible cardinals are equiconsistent?
Dec 18, 2021
1
How large can a subset of computable reals, whose comparison function is computable, grow?
Oct 4, 2023
0
Can I find the definition of Jager's ordinal collapsing functions?
Dec 18, 2019
0
Can ∞-category be defined in proof assistants?
Aug 4, 2021
0
Construct higher inductive types with only generalized algebraic data types and non-truncated quotients?
Jun 25, 2022
0
Can I find the definition of Jager's ordinal collapsing functions?
Apr 2, 2020
Top network posts
View all network posts
8
Is there any typeclass that defines the function from `a -> m b` to `m (a -> b)`?
5
What is the origin of the names of I and tt?