MathOverflow
user103227's user avatar
user103227's user avatar
user103227's user avatar
user103227
  • Member for 6 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
711
reputation
0
reached
0
answers
0
questions
Communities
View all
About

PhD in logic. Postdoc in computational linguistics at CLASP, University of Gothenburg, Sweden.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
11
cut-elimination provable in PRA
9
Is every true statement independent of $PA$ equivalent to some consistency statement?
7
Who first proved that we can prove that we prove things we prove?
7
What is the logical status of the sentence combining the ideas of Löb and Rosser, "this sentence is provable before any proof of its negation"?
5
Unprovable cases of $\Pi^0_1$-conservativity

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.