Edit Profile (opens in new tab) Krivtsov, Victor N. Co-Author Distance Author ID: krivtsov.victor-n Published as: Krivtsov, V. N.; Krivtsov, Victor N. Documents Indexed: 18 Publications since 1984 Reviewing Activity: 45 Reviews all top 5 Co-Authors 15 single-authored 3 Chilaev, P. 3 Volochinov, V. 2 Becchini, R. 1 Avino, D. 1 Baurens, B. 1 Follet, Helene 1 Viglietti, I. all top 5 Serials 4 Studia Logica 2 Mathematical Notes 2 Moscow University Mathematics Bulletin 2 Russian Mathematical Surveys 2 Soviet Mathematics. Doklady 2 Archive for Mathematical Logic 1 Erkenntnis Fields 15 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 9 times in 6 Documents Cited by ▼ Year ▼ A negationless interpretation of intuitionistic theories. I. Zbl 0964.03065 Krivtsov, Victor N. 2 2000 An intuitionistic completeness theorem for classical predicate logic. Zbl 1204.03019 Krivtsov, Victor N. 2 2010 A negationless interpretation of intuitionistic theories. II. Zbl 0968.03073 Krivtsov, Victor N. 2 2000 Note on extensions of Heyting’s arithmetic by adding the “creative subject”. Zbl 0931.03072 Krivtsov, Victor N. 1 1999 A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic. Zbl 0576.03037 Krivtsov, V. N. 1 1984 A negationless interpretation of intuitionistic theories. Zbl 0981.03062 Krivtsov, Victor N. 1 2000 An intuitionistic completeness theorem for classical predicate logic. Zbl 1204.03019 Krivtsov, Victor N. 2 2010 A negationless interpretation of intuitionistic theories. I. Zbl 0964.03065 Krivtsov, Victor N. 2 2000 A negationless interpretation of intuitionistic theories. II. Zbl 0968.03073 Krivtsov, Victor N. 2 2000 A negationless interpretation of intuitionistic theories. Zbl 0981.03062 Krivtsov, Victor N. 1 2000 Note on extensions of Heyting’s arithmetic by adding the “creative subject”. Zbl 0931.03072 Krivtsov, Victor N. 1 1999 A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic. Zbl 0576.03037 Krivtsov, V. N. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 6 Authors 2 Krivtsov, Victor N. 1 Colson, Loïc 1 Michel, David 1 Mints, Grigoriĭ Efroimovich 1 Niki, Satoru 1 van Atten, Mark all top 5 Cited in 6 Serials 1 Mathematical Notes 1 Studia Logica 1 Synthese 1 Theoretical Computer Science 1 Bulletin of the Section of Logic 1 Indagationes Mathematicae. New Series Cited in 1 Field 6 Mathematical logic and foundations (03-XX) Citations by Year