Extension of ZF-models to models with the scheme of choice Andrzej Zarach — 1977 Fundamenta Mathematicae