Skip to main content
MathOverflow
Jade Vanadium's user avatar
Jade Vanadium's user avatar
Jade Vanadium's user avatar
Jade Vanadium
  • Member for 6 years, 7 months
  • Last seen this week
Profile Activity
Stats
618
reputation
2k
reached
4
answers
2
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
15
Score
5
Posts
83
Posts %
11
Score
3
Posts
50
Posts %
11
Score
3
Posts
50
Posts %
4
Score
2
Posts
33
Posts %
4
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
Top posts
21
Global Choice bi-interpretable with Global Wellorder?
Dec 17, 2024
10
Is the theory of $(\operatorname{Ord}, <)$ decidable?
May 9, 2024
8
Global Choice bi-interpretable with Global Wellorder?
Dec 17, 2024
3
Is this theory synonymous with ZF + Global Choice?
Dec 18, 2024
3
Is this cardinality motivated theory of arithmetic synonymous with PA?
Dec 19, 2024
1
Can this theory interpret Peano arithmetic?
Dec 12, 2024
Top network posts
View all network posts
36
Is sudoku only one puzzle?
21
When does $|X^n|\leq |k^X|$ without the axiom of Choice?
12
Is Hilbert's epsilon calculus a conservative extension of intuitionist logic?
11
Is Hilbert's epsilon calculus a conservative extension of intuitionist logic?
10
Does a closed curve exist for which a square cannot intersect it 8 or more times?