MathOverflow
Paul Budnik's user avatar
Paul Budnik's user avatar
Paul Budnik's user avatar
Paul Budnik
  • Member for 12 years, 9 months
  • Last seen more than 9 years ago
Profile Activity
Stats
371
reputation
6k
reached
1
answer
6
questions
Communities
About
See www.mtnmath.com to learn about me.
Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
6
Score
6
Posts
86
Posts %
6
Score
2
Posts
29
Posts %
6
Score
2
Posts
29
Posts %
0
Score
4
Posts
57
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
Top posts
question
6
Recursive ordinals and the minimal standard model of ZF
Dec 16, 2013
answer
6
Philosophical consistency proof for set theory
Mar 27, 2012
question
4
Hyperarithemtic statements decidable by induction up to a recursive ordinal
Jul 18, 2011
question
4
Hyperarithmetic statements decidable by induction up to a recursive ordinal
Jul 29, 2011
question
3
Paths in Kleene's O and deciding $\Pi^0_1$ sentences
Aug 22, 2011
question
3
Is there a well defined subset of the integers that cannot be defined as a property of a recursive process or Turing Machine?
Mar 19, 2012
question
2
Which mathematical questions are objectively true or false? [closed]
Mar 29, 2012