Skip to main content
MathOverflow
Paul Blain Levy's user avatar
Paul Blain Levy's user avatar
Paul Blain Levy's user avatar
Paul Blain Levy
  • Member for 3 years, 7 months
  • Last seen this week
Profile Activity
Stats
1,382
reputation
9k
reached
3
answers
8
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
21
bronze badges
Top tags
View all tags
57
Score
6
Posts
55
Posts %
57
Score
1
Posts
9
Posts %
57
Score
1
Posts
9
Posts %
57
Score
1
Posts
9
Posts %
17
Score
2
Posts
18
Posts %
0
Score
4
Posts
36
Posts %
Top posts
View all questions and answers
57
Is there any version of the Banach-Tarski paradox in ZF?
Aug 20, 2021
17
How to pronounce "⊗¬-category"?
Aug 19, 2021
15
Open problem in analysis with just one quantifier?
Aug 8, 2021
13
Example of a $\Pi^2_2$ sentence?
Aug 17, 2021
13
Consistency proof in topos logic
Oct 17, 2021
11
Existence of finite powerset
May 12
10
Does ZF minus infinity imply collection?
Dec 12, 2020
10
Hereditarily countable sets in Antifounded ZF
Jul 6
5
Class-theoretic sentences that are $\Pi^1_1$ or $\Pi^1_2$
Sep 2, 2021
4
Open problem in analysis with just one quantifier?
Aug 17, 2021