Linked Data Explorer
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
- "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