WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/26719309

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

Open All Close All

http://schema.org/name

  • "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