A. K. Ailamazyan, M. M. Gilula, A. P. Stolboushkin, G. F. Schwartz, “Reduction of a relational model with infinite domains to the case of finite domains”, Dokl. Akad. Nauk SSSR, 286:2 (1986), 308–311
1980
2.
G. F. Schwartz, “Open existence properties for some extensions of the intuitionistic type theory”, Dokl. Akad. Nauk SSSR, 251:3 (1980), 562–565
