Publications in Math-Net.Ru |
|
1999 |
1. |
V. N. Grishin, “On the weight of the comprehension axiom in a theory based on logic without contractions”, Mat. Zametki, 66:5 (1999), 643–652 ; Math. Notes, 66:5 (1999), 533–540 |
|
1988 |
2. |
V. N. Grishin, V. G. Kanovei, “Work on descriptive set theory carried out at the V. A. Steklov Institute of Mathematics”, Trudy Mat. Inst. Steklov., 182 (1988), 224–244 ; Proc. Steklov Inst. Math., 182 (1990), 245–265 |
|
1985 |
3. |
V. N. Grishin, “Impossibility of defining the class of $L_0$-algebras by means of identities”, Mat. Zametki, 38:5 (1985), 641–651 ; Math. Notes, 38:5 (1985), 861–867 |
|
1981 |
4. |
V. N. Grishin, “Predicate and set-theoretic calculi based on logic without contractions”, Izv. Akad. Nauk SSSR Ser. Mat., 45:1 (1981), 47–68 ; Math. USSR-Izv., 18:1 (1982), 41–59 |
|
1972 |
5. |
V. N. Grishin, “The theory of Zermelo-Fraenkel sets with Hilbert $\varepsilon$-terms”, Mat. Zametki, 12:5 (1972), 569–575 ; Math. Notes, 12:5 (1972), 779–783 |
|
1969 |
6. |
V. N. Grishin, “Consistency of a fragment of Quine’s $\mathrm{NF}$ system”, Dokl. Akad. Nauk SSSR, 189:2 (1969), 241–243 |
|
|
|
1968 |
7. |
V. N. Grishin, “P. J. Cohen, Set theory and the continuum hypothesis (review)”, Uspekhi Mat. Nauk, 23:2(140) (1968), 260–261 |
|