Geodesic

Mathematical logic and algebra

From the Editor
p. 5-6
On Prime Quaternions, Hurwitz Relations, and a~New Operation of Group Extension
p. 7-22
Lower Bounds for Polynomial Calculus: Nonbinomial Case
p. 23-43
Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs
p. 44-58
Quantifier-Free Induction Schema and the Least Element Principle
p. 59-76
Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle
p. 77-97
A~Diophantine Representation of Bernoulli Numbers and Its Applications
p. 98-102
Finiteness Conditions for Algebras of Relations
p. 103-107
On the Reconstruction of a~Boolean Function from Its Values on a~Limited Number of Domains
p. 108-122
On Prenex Fragment of Provability Logic with Quantifiers on Proofs
p. 123-135
Note on a~Translation to Characterize Constructivity
p. 136-140
Full and Uniform Sequences
p. 141-146
Proof Mining: A~Systematic Way of Analyzing Proofs in Mathematics
p. 147-175
Algebras with the Same (Algebraic) Geometry
p. 176-207