User rfloc - MathOverflow Meta

rfloc

Member for 5 years, 4 months
Last seen more than a week ago

Stats

649

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

3

silver badges

Yearling

× 3

Dec 4

2

bronze badges

Supporter

Feb 11, 2020
Autobiographer

Oct 2, 2019

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

15

Learning roadmap for Foundations of Mathematics (for the working mathematician)

9

Constructing the Haar measure of the $n$-dimensional Torus

9

Simple motivation to study arithmetic geometry

7

Does type theory help us avoid the "defining postulate"?

6

Book that shows a construction of ZFC with Calculus of Constructions