Mathematical logic and algebra
Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov
|
From the Editor
S. I. Adian
|
5 |
|
|
On Prime Quaternions, Hurwitz Relations, and a New Operation of Group Extension
S. I. Adian, F. Grunevald, J. Mennicke
|
7 |
|
|
Lower Bounds for Polynomial Calculus: Nonbinomial Case
M. V. Alekhnovich, A. A. Razborov
|
23 |
|
|
Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs
S. N. Artemov
|
44 |
|
|
Quantifier-Free Induction Schema and the Least Element Principle
L. D. Beklemishev
|
59 |
|
|
Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle
N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov
|
77 |
|
|
A Diophantine Representation of Bernoulli Numbers and Its Applications
Yu. V. Matiyasevich
|
98 |
|
|
Finiteness Conditions for Algebras of Relations
A. L. Semenov
|
103 |
|
|
On the Reconstruction of a Boolean Function from Its Values on a Limited Number of Domains
A. V. Chashkin
|
108 |
|
|
On Prenex Fragment of Provability Logic with Quantifiers on Proofs
R. È. Yavorskii
|
123 |
|
|
Note on a Translation to Characterize Constructivity
M. Baaz
|
136 |
|
|
Full and Uniform Sequences
A. Carpi, A. de Luca
|
141 |
|
|
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
U. Kohlenbach, P. Oliva
|
147 |
|
|
Algebras with the Same (Algebraic) Geometry
B. I. Plotkin
|
176 |
© , 2025
