Measure theory in weak subsystems of second-order arithmetic (1987)

by Xiaokang Yu
Venue:Thesis (Ph.D.)–The Pennsylvania State University