March 2010
3 papers.
-
Alexandrov meets Lott–Villani–Sturm
1 definition5 statements4 proofs
-
Hierarchies of Subsystems of Weak Arithmetic
2 definitions20 statements7 proofs
-
Orbits in symmetric spaces, II
12 statements11 proofs