Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic

Alberto Marcone. Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. Annals of Pure and Applied Logic, 54(3):265-291, 1991.

Abstract

Abstract is missing.