eugepros

11

Reputation

18 views

Registered User

Name	eugepros
Member for	1 year
Seen	Apr 27 2012 at 6:56
Website
Location
Age

stats recent reputation favorites

1

Questions

1

vote

3

answers

416

views

Applicability of Deduction theorem to Primitive recursive arithmetic [closed]

proof-theory arithmetic metamathematics lo.logic reverse-math

apr 21 12 at 3:25 eugepros 11●2

2

Answers

Ackermann function in the Primitive recursive arithmetic

Applicability of Deduction theorem to Primitive recursive arithmetic (2)

0

Votes

6

Tags

proof-theory× 2
lo.logic× 2
reverse-math
metamathematics
computability-theory
arithmetic

2

Badges