Definition (Delta1T property). A property is called ${\mathrm{\Delta }}_1^T$ if it’s both ${{\mathrm{\Sigma }}_1}^T$ and ${{\mathrm{\Pi }}_1}^T$.