Mathematical logic and algebra. Collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov. Proceedings of the international conference on mathematical logic, algebra and set theory, Moscow, Russia, August 27–31, 2001. (Matematicheskaya logika i algebra. Sbornik statej. K 100-letiyu so dnya rozhdeniya akademika Petra Sergeevicha Novikova.) (Russian) Zbl 1059.03004

Trudy Matematicheskogo Instituta Imeni V. A. Steklova 242. Moskva: Maik Nauka/Interperiodika (ISBN 5-02-032604-6/pbk). 207 p. (2003).

Show indexed articles as search result.

The articles of this volume will be reviewed individually together with the English translation in Proc. Steklov Inst. Math. 242 (2003; Zbl 1059.03003).
Indexed articles:
Adyan, S. I., From the editor (on the occasion of the one hundredth anniversary of P. S. Novikov), 1-2 [Zbl 1102.01313]
Adyan, S. I.; Grunewald, F.; Mennicke, J., On prime quaternions, Hurwitz relations, and a new operation of group extension., 3-17 [Zbl 1113.20030]
Alekhnovich, M. V.; Razborov, A. A., Lower bounds for polynomial calculus: nonbinomial case, 18-35 [Zbl 1079.03047]
Artemov, S. N., Embedding of the modal \(\lambda\)-calculus into the logic of proofs, 36-49 [Zbl 1079.03053]
Beklemishev, L. D., Quantifier-free induction schema and the least element principle, 50-66 [Zbl 1079.03049]
Vereshchagin, N. K.; Skvortsov, D. P.; Skvortsova, E. Z.; Chernov, A. V., Variants of realizability for propositional formulas and the logic of weak excluded middle, 67-85 [Zbl 1079.03016]
Matiyasevich, Yu. V., A Diophantine representation of Bernoulli numbers and its applications, 86-91 [Zbl 1118.11013]
Semenov, A. L., Finiteness conditions for algebras of relations, 92-96 [Zbl 1079.03063]
Chashkin, A. V., On the reconstruction of a Boolean function from its values on a limited number of domains, 97-111 [Zbl 1069.06503]
Yavorskij, R. E., On prenex fragment of provability logic with quantifiers on proofs, 112-124 [Zbl 1079.03054]
Baaz, M., Note on a translation to characterize constructivity, 125-129 [Zbl 1079.03055]
Carpi, A.; de Luca, A., Full and uniform sequences, 130-135 [Zbl 1069.68081]
Kohlenbach, U.; Oliva, P., Proof mining: a systematic way of analyzing proofs in mathematics, 136-164 [Zbl 1079.03045]
Plotkin, B., Algebras with the same (algebraic) geometry, 165-196 [Zbl 1062.08012]


03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00B30 Festschriften

Biographic References:

Novikov, P. S.


Zbl 1059.03003