Entscheidungsverfahren/Unterklasse/Aufgabe

Kann es ein Entscheidungsverfahren für mathematisch relevante Untertheorien

{}T\subseteq L_{0}^{\rm {Ar}}

geben?