Implementing fragments of ZFC within an r.e. Universe
scientific article; zbMATH DE number 6945507