current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
alexod
Meta User
Network Profile
Reputation
482
482
291
100
2012
2013
2014
2015
Top tag
lo.logic
Next privilege
500 Rep.
Access review queues
Badges
6
16
Newest
Curious
Next badge
0/1
Autobiographer
Impact
~
6k
people reached
1 post edited
0 helpful flags
335 votes cast
summary
answers
questions
tags
badges
favorites
bounties
reputation
all actions
4
Answers
newest
activity
votes
6
(Un)Decidability of the root existence problem for functions with bounded domain
Jan 19 '13 at 16:22
5
Does the totality of Ackermann's function prove the consistency of $\Sigma_1$-induction?
Apr 17 '14 at 10:47
3
About the well ordering of finite sequences of numbers
Jan 12 '13 at 13:31
2
Does the Feferman-Schutte analysis give a precise characterization of Predicative Second-Order Arithmetic?
Sep 26 '13 at 6:31
MathOverflow works best with JavaScript enabled