1. The Boolean prime ideal theorem does not imply the axiom of choice.;Halpern, J. D.,1971
2. On a general method for obtaining local theorems in group theory;Mal′cev, A.;Ivanov. Gos. Ped. Inst. U\v{c}. Zap. Fiz.-Mat. Fak.,1941
3. Local theorems in universal algebras;McLain, D. H.;J. London Math. Soc.,1959
4. On the construction of models;Robinson, Abraham,1961