Grishin Vyacheslav Nikolaevich

Publications in Math-Net.Ru

1. On the weight of the comprehension axiom in a theory based on logic without contractions
   
   Mat. Zametki, 66:5 (1999),  643–652
2. Work on descriptive set theory carried out at the V. A. Steklov Institute of Mathematics
   
   Trudy Mat. Inst. Steklov., 182 (1988),  224–244
3. Impossibility of defining the class of $L_0$-algebras by means of identities
   
   Mat. Zametki, 38:5 (1985),  641–651
4. Predicate and set-theoretic calculi based on logic without contractions
   
   Izv. Akad. Nauk SSSR Ser. Mat., 45:1 (1981),  47–68
5. The theory of Zermelo-Fraenkel sets with Hilbert $\varepsilon$-terms
   
   Mat. Zametki, 12:5 (1972),  569–575
6. Consistency of a fragment of Quine’s $\mathrm{NF}$ system
   
   Dokl. Akad. Nauk SSSR, 189:2 (1969),  241–243


7. P. J. Cohen, Set theory and the continuum hypothesis (review)
   
   Uspekhi Mat. Nauk, 23:2(140) (1968),  260–261