Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 2.04.1952
Phone: +7(423) 2-99-97-48
Keywords: Calculus, sequent, inference rule, output complexity, calculation complexity, polynomial hierarchy, properties of oracle sets
UDC: 510.52

Subject:

Logical calculus, proof theory, complexity theory of computations

Main publications:

1. Bochernikov V. Ya., “Nekotorye svoistva ischisleniya ravenstv elementarnykh po Kalmaru funktsii”, Shestaya vsesoyuznaya konferentsiya po matematicheskoi logike, 1982, 22–25  
2. Bochernikov V. Ya., “Ekvivalentnost dvukh ischislenii ravenstv elementarnykh po Kalmaru funktsii”, Logika i osnovaniya matematiki, 1982, 17–19
3. Bochernikov V. Ya., “Zakon isklyuchennogo tretego i problema NP ravno co-NP”, Sibirskii matematichekii zhurnal, 48:2 (1987), 34–48
4. Bochernikov V. Ya., “Ne vyvodimost nekotorykh svoistv orakulnykh mnozhestv”, Problemy sovremennoi matematiki, 34:2 (2017), 34–51

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• Institute of Fundamental Problems of Modern Mathematics