Six Papers in Logic

Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers by B. I. Zilber On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers by B. I. Zilber On theories with a basis by M. I. Bekenov Gentzen systems of postulates for set theory by V. E. Vail Arithmetically complete modal theories by S. N. Artemov On the complexity of shortest disjunctive normal forms of Boolean functions by A. D. Korshunov.