Schwartz Grigorii Feliksovich

Publications in Math-Net.Ru

1. Reduction of a relational model with infinite domains to the case of finite domains
   
   Dokl. Akad. Nauk SSSR, 286:2 (1986),  308–311
2. Open existence properties for some extensions of the intuitionistic type theory
   
   Dokl. Akad. Nauk SSSR, 251:3 (1980),  562–565