Corollary. Assuming that:

$T$ is any theory
$M ⊨ T$ is transitive

Then

Δ_{0}^{T}

-formulas are absolute for

M

.