1. A minimal model for set theory;Cohen, Paul J.;Bull. Amer. Math. Soc.,1963
2. McGraw-Hill Series in Information Processing and Computers;Davis, Martin,1958
3. Hierarchies in recursive function theory;Enderton, H. B.;Trans. Amer. Math. Soc.,1964
4. R. Gandy and H. Putnam, A minimal 𝛽-model for analysis, (to appear).
5. Annals of Mathematics Studies, No. 3;Gödel, Kurt,1940