« first day (2613 days earlier)      last day (1297 days later) » 

Martin Sleziak
Martin Sleziak
5:33 AM
As I've mentioned, I suggested some time ago that models-of-peano-arithmetic would make the tag easier to find than just models-of-pa. I posted about this on meta, the post got a few upvotes, then it was deleted by a mod: meta.mathoverflow.net/questions/862/help-cleanup-tags/3505#3505
Dec 9 '17 at 13:01, by Feeds
0
A: Help cleanup tags!

Martin SleziakI would suggest creating a synonym between models-of-peano-arithmetic and models-of-pa. (In either direction. The tag (models-of-pa) already exists, but IMO adding also a longer name (models-of-peano-arithmetic) might be useful.) The advantage of the synonym is that users who are asking a quest...

 
 
4 hours later…
Martin Sleziak
Martin Sleziak
10:02 AM
specific-question Will somebody familiar with the area check whether mg.metric-geometry is a suitable top-level tag for: 2 dimensional Hausdorff measure and area measure on the hyperbolic plane. (I shouldn't have clicked on approve in the review, since I wasn't entirely sure - sorry for that.)
0
Q: 2 dimensional Hausdorff measure and area measure on the hyperbolic plane

dyfx$\newcommand{\diam}{\operatorname{diam}}$From the Encyclopedia of Mathematics, the Hausdorff measure on a generic metric space (X,d) can be defined using $H^\alpha_\delta (E):=\omega_\alpha \inf \{\sum_{i=1}^\infty (\diam(E_i))^\alpha:E\subseteq \cup_{i=1}^\infty E_i \text{ and } \diam(E_i)\leq \...

mg.metric-geometry riemannian-geometry hyperbolic-geometry geometric-measure-theory hausdorff-measure
OTOH hyperbolic-geometry is listed in the tag-exceprt. So it is definitely one of the options. (Euclidean, hyperbolic, discrete, convex, coarse geometry, comparisons in Riemannian geometry, symmetric spaces.)
 

« first day (2613 days earlier)      last day (1297 days later) »