Systems of explicit mathematics with non-constructive µ-operator (1993)

by Solomon Feferman, Gerhard Jäger
Venue:Part I. Annals of Pure and Applied Logic