A relative PCF-definability result for strongly stable functions and some corollaries
scientific article; zbMATH DE number 1853055