Skip to main content
MathOverflow
Niconar's user avatar
Niconar's user avatar
Niconar's user avatar
Niconar
  • Member for 3 years, 6 months
  • Last seen more than 2 years ago
Profile Activity
Stats
75
reputation
515
reached
0
answers
3
questions
Communities
About

I'm nicanor carrasco

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
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 %
Top posts
question
6
Given some recursive function, can we effectively associate it a polynomial as in the DPRM theorem?
Jun 21, 2021
question
1
When are normal forms computable in amalgamated produts and HNN extensions
Jun 21, 2022
question
0
Turing degrees inside the $\Pi_1^0$ class with top Medvedev degree
Mar 31, 2022