. . . . . . "The ordinals of the systems of second order arithmetic with the provably [delta]1/2-comprehension axiom and with the [delta]1/2-comprehension axiom respectively"@en . . .