Skip to main content
MathOverflow
rfloc's user avatar
rfloc's user avatar
rfloc's user avatar
rfloc
  • Member for 4 years, 11 months
  • Last seen this week
Profile Activity
Stats
561
reputation
10k
reached
1
answer
10
questions
#47 this week
Communities
View all
Badges
View all badges
2
gold badges
6
silver badges
18
bronze badges
Top tags
View all tags
0
Score
5
Posts
45
Posts %
0
Score
5
Posts
45
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
15
Learning roadmap for Foundations of Mathematics (for the working mathematician)
Dec 24, 2019
9
Simple motivation to study arithmetic geometry
Aug 15, 2022
7
Does type theory help us avoid the "defining postulate"?
Apr 7, 2023
6
Book that shows a construction of ZFC with Calculus of Constructions
Apr 5, 2023
4
Hausdorff dimension and surface measure
Feb 19, 2021
4
If $f=h\circ g$, then there's a measurable function $\tilde h$ such that $f=\tilde h\circ g$
May 14
2
Is this theorem true in the case of a general measure space?
Dec 3, 2023
2
Formalizing the construction of a Cantor scheme [migrated]
Jul 5
1
Find a Borel measure such that the closed sets aren't arbitrarily close to the Borel sets with finite measure
Dec 27, 2021
1
Reference request: a mathematical model of classical physics
Apr 9, 2022
Top network posts
View all network posts
9
Constructing the Haar measure of the $n$-dimensional Torus
5
Defining manifolds
5
Show that if $f_n\to f_1$ uniformly and $f_n\to f_2$ in $L^p$, then $f_1=f_2$ almost everywhere.