MathOverflow
BPP's user avatar
BPP's user avatar
BPP's user avatar
BPP
  • Member for 3 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
645
reputation
7k
reached
1
answer
10
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
16
bronze badges
Top tags
View all tags
0
Score
7
Posts
64
Posts %
0
Score
4
Posts
36
Posts %
0
Score
3
Posts
27
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
16
Did Edward Nelson accept the incompleteness theorems?
Dec 12, 2020
answer
15
Examples of errors in computational combinatorics results
Jan 13
question
9
What can $I\Delta_0$ prove?
Jan 26, 2021
question
7
Sets of residues with only a single intersection under translation
Aug 12, 2020
question
7
Incompleteness theorems for theories with omega-rule
Oct 14, 2020
question
4
Can Robinson arithmetic prove any interesting theorems?
Dec 8, 2020
question
4
What is known about constructively irrational numbers?
Sep 13, 2021
question
3
Mutually orthogonal Latin hypercubes
Aug 13, 2020
question
3
Set theories that are complete modulo finite-order arithmetic
Oct 21, 2020
question
2
Special classes of the arithmetical hierarchy of sentences of finite-order arithmetic
Aug 3, 2021
Top network posts
View all network posts
9
Upward Löwenheim–Skolem theorem for uncountable signatures
7
Claim in Shelah's "A two-cardinal theorem"

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.