MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

none

41

Reputation

31 views

Unregistered User

Name	none
Member for	2 years
Seen	Dec 4 2010 at 7:19
Website
Location
Age

stats recent reputation favorites

0

Questions

3

Answers

votes newest views recent

What do named “tricks” share?

When are two proofs of the same theorem really different proofs

Hahn-Banach without Choice

0

Votes

6

Tags

lo.logic× 2
reference-request
proof-theory
names
ho.history-overview
fa.functional-analysis

1

Badges