156

Reputation

42 views

Registered User

Name
Member for	2 years
Seen	Jun 2 2011 at 9:03
Website
Location
Age

stats recent reputation favorites

0

Questions

3

Answers

votes newest views recent

Reducing ACA₀ proof to First Order PA

Most general formulation of Gödel’s incompleteness theorems

What is the intuitive meaning of star and box in a pure type system?

3

Votes

3

8

Tags

lo.logic× 3
proof-theory× 2
type-theory
reverse-math
lambda-calculus
intuition
ct.category-theory
arithmetic

2

Badges