Skip to main content
MathOverflow
BPP's user avatar
BPP's user avatar
BPP's user avatar
BPP
  • Member for 4 years, 4 months
  • Last seen this week
Profile Activity
Stats
675
reputation
8k
reached
1
answer
10
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
4
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
question
17
Did Edward Nelson accept the incompleteness theorems?
Dec 12, 2020
answer
15
Examples of errors in computational combinatorics results
Jan 13, 2023
question
9
What can $I\Delta_0$ prove?
Jan 26, 2021
question
8
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
5
What is known about constructively irrational numbers?
Sep 13, 2021
question
4
Can Robinson arithmetic prove any interesting theorems?
Dec 8, 2020
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"