User Dabs - MathOverflow

Dabs

Member for 10 years, 11 months
Last seen more than 5 years ago

Paris

Network profile

73 Reputation

Post Time Graph

+10

Sep 29, 2017

upvote +10

Is the equivalence between a $\Sigma^0_1$ and a $\Pi^0_1$ formula defining the same recursive set provable in a sufficiently strong arithmetic ?

+10

Dec 30, 2015

upvote +10

Is the equivalence between a $\Sigma^0_1$ and a $\Pi^0_1$ formula defining the same recursive set provable in a sufficiently strong arithmetic ?

+10

Jul 5, 2013

upvote +10

Is the equivalence between a $\Sigma^0_1$ and a $\Pi^0_1$ formula defining the same recursive set provable in a sufficiently strong arithmetic ?

+10

Jul 3, 2013

Loading…

+10

Jul 2, 2013

Loading…

+22

May 19, 2013

Loading…