Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
scientific article; zbMATH DE number 6487140
scientific article