The Arveson extension theorem and coanalytic models
scientific article; zbMATH DE number 3822475