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