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
About Us
Learn more about Stack Overflow the company
Business
Learn more about hiring developers or posting ads with us
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Network Profile
131
reputation
7
Paul Budnik
See www.mtnmath.com to learn about me.
1
answer
6
questions
~5k
people reached
Santa Cruz Mountains, California
mtnmath.com
Member for
5 years
257 profile views
Last seen
Sep 9 '14 at 21:46
Communities
(3)
MathOverflow
131
131
7
Stack Overflow
11
11
3
Philosophy
1
1
1
Top Network Posts
We respect a laserlike focus on one topic.
Top Tags
(7)
lo.logic
Score
3
Posts
5
Posts %
71
settheory
Score
3
Posts
2
computabilitytheory
Score
0
Posts
3
bigpicture
Score
0
Posts
2
softquestion
Score
0
Posts
2
modeltheory
Score
0
Posts
1
View all tags →
Top Posts
(7)
All
Questions
Answers

Votes
Newest
6
Recursive ordinals and the minimal standard model of ZF
Dec 16 '13
4
Which mathematical questions are objectively true or false? [closed]
Mar 29 '12
4
Hyperarithemtic statements decidable by induction up to a recursive ordinal
Jul 18 '11
3
Hyperarithmetic statements decidable by induction up to a recursive ordinal
Jul 29 '11
3
Paths in Kleene's O and deciding $\Pi^0_1$ sentences
Aug 22 '11
3
Philosophical Consistency Proof for Set Theory
Mar 27 '12
2
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 '12
Badges
(7)
Gold
—
Silver
—
Bronze
7
Rarest
Curious
jul 2 '14
Revival
jun 25 '13
Teacher
mar 27 '12
MathOverflow works best with JavaScript enabled