User user3730940 - MathOverflow

user3730940

Member for 9 years
Last seen more than 8 years ago

11 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Popular Question

Feb 18, 2021 at 17:20

awarded

Nice Question

Nov 20, 2019 at 19:15

awarded

Scholar

Dec 3, 2015 at 13:26

comment

Why is there a need for ordinal analysis?

so to most mathematicians -- those without constructivist or finitist leanings -- gentzen's proof isn't necessary?

Dec 3, 2015 at 13:22

accepted

Why is there a need for ordinal analysis?

Dec 3, 2015 at 13:16

awarded

Student

Dec 3, 2015 at 11:11

awarded

Custodian

Dec 3, 2015 at 4:37

reviewed

Why is there a need for ordinal analysis?

Dec 3, 2015 at 4:35

awarded

Editor

Dec 3, 2015 at 4:12

revised

Why is there a need for ordinal analysis?

added 44 characters in body

Dec 3, 2015 at 4:08

Loading…

asked

Why is there a need for ordinal analysis?

Dec 3, 2015 at 3:53

Loading…