Várias listas de teoremas com títulos diferentes (qualquer TeX, no meu caso XeLaTeX)

Question

Descobri como usar o thmtoolspacote para fazer listas de teoremas. Minhas perguntas sobre isso são:

1. Como altero o título, visto que \renewcommand{\listoftheoremname}{...}dá LaTeX error: \listoftheoremname undefinederro?
2. Como faço várias listas de diferentes tipos de teoremas com títulos diferentes?

3. Adicionar [name=xxx,label=thm:...]depois \begin{yyy}(xxx é um título para o teorema, ... um rótulo que aparece na lista, yyy o tipo de teorema) rotula um teorema. Se eu tentar colocar qualquer matemática além de sobrescrito e subscrito (por enquanto só tentei \mathbb) em um rótulo, recebo um missing \endcsname insertederro relacionado a uma linha dos arquivos .aux. Como faço para resolver isso? MWE:

   \documentclass[a4paper]{report}  
   \usepackage{thmtools,amssymb}  
   \declaretheorem[name=Definizione]{defi}  
   \begin{document}  
   \begin{defi}[name=$\mathbb R$,label=thm:$\mathbb R$definizione]  
   Ah beh, s\`i beh.  
   \end{defi}  
   \listoftheorems  
   \end{document}  
   

que dá:
.
O mesmo erro é obtido colocando a \refem um rótulo. Na verdade, \mathbbdá problemas em qualquer lugar desses [], assim como tentar colocar $(0,1)$ ali, por causa daquela vírgula.

4. (deveria ser 4) E finalmente, estou usando teoremas com [subsection]numeração. Agora, na lista, o número se sobrepõe ao tipo do teorema (ou seja, fico 1.2.1.1sobreposto Definizione (Spazio Metrico)). Como faço para resolver isso?

Answer 1

Isso pode ajudar você a começar; mas sem um conjunto claro de especificações suas, é difícil ser mais preciso.

\documentclass{article}
\usepackage{amsthm,thmtools}

\declaretheorem{theorem}
\declaretheorem[style=definition]{definition}

\begin{document}

\renewcommand{\listtheoremname}{List of theorems}
\listoftheorems[ignoreall,show=theorem]

\renewcommand{\listtheoremname}{List of definitions}
\listoftheorems[ignoreall,show=definition]

\begin{theorem}[Sum]
$1+1=2$
\end{theorem}

\begin{definition}[Nice numbers]
A number is \emph{nice} if it looks beautiful.
\end{definition}

\begin{theorem}[About $C^{1}(0,1)$]
The set $C^{1}(0,1)$ is interesting.
\end{theorem}

\end{document}