https://123dok.net/document/yev1pmjr-realizability-algebras-ii-new-models-zf-dc.html