MathOverflow
M Carl's user avatar
M Carl's user avatar
M Carl's user avatar
M Carl
  • Member for 12 years, 10 months
  • Konstanz
Profile Activity
Stats
521
reputation
3k
reached
1
answer
7
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
1
Score
3
Posts
38
Posts %
1
Score
1
Posts
12
Posts %
1
Score
1
Posts
12
Posts %
1
Score
1
Posts
12
Posts %
0
Score
7
Posts
88
Posts %
0
Score
2
Posts
25
Posts %
Top posts
question
16
What is the simplest known arithmetic definition of exponentiation?
Dec 16, 2012
question
8
Is there exponentiation in "sufficiently large" models of $I\Delta_{0}$?
Apr 23, 2012
question
8
How arithmetical is algebraic exponentiation?
Oct 29, 2012
question
7
Is there an $E_1$-definition of primality?
Sep 5, 2012
question
5
Sequences of projecta in the constructible hierarchy
Jun 16, 2011
question
4
Transfinitely iterated limit computability
Nov 9, 2012
question
2
"Ill-founded Recursion" without Fund
May 14, 2012
answer
1
Equivalent Forms of AC
Jan 7, 2013