Skip to main content
MathOverflow
dezakin's user avatar
dezakin's user avatar
dezakin's user avatar
dezakin
  • Member for 11 years, 4 months
  • Last seen more than 8 years ago
Profile Activity
Stats
223
reputation
5k
reached
1
answer
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
7
When does Skolemization require the axiom of choice?
Dec 18, 2014
answer
4
Techniques to solve equations involving a definite integral
Jun 16, 2014
question
1
Is there any current development of a first order formalization of metamathematics?
Aug 7, 2014
question
0
What algebras does the hidden subgroup problem for finite abelian groups apply to?
Apr 19, 2014
Top network posts
View all network posts
28
What are some examples of third, fourth, or fifth order logic sentences?
17
On progress in mathematics: some long-open problems and long-standing conjectures
11
How can I generate dense unique type IDs at compile time?
11
Are roots of unity in hypercomplex algebras well defined?
10
What are polynomial like expressions that have complex numbers for the exponents?