Bhupinder Singh Anand

1
Reputation
205 views
Is this your account?

Unregistered User 

Name Bhupinder Singh Anand
Member for 2 years
Seen Jul 6 2011 at 18:24
Website
Location
Age
1

Questions
 
-3
votes
2
answers
290
views

In what sense can `$ACA_{0}$` be said to be a conservative extension of PA?

apr 23 11 at 17:52 Andreas Blass 32.9k●4●54●109

 

1

Answers
-5
Is there a known natural model of Peano Arithmetic where Goodstein’s theorem fails?

 

0

Votes

 

3

Tags
× 2


 

2

Badges
● Scholar
 ● Student