Constructing Kripke models of certain fragments of Heyting's arithmetic.
p. 1
Atkin's theorem on pseudo-squares.
p. 21
On general and reproductive solutions of finite equations.
p. 26
On formal products and the Seidel spectrum of graphs.
p. 37
Perturbed interpolation problems.
p. 55
Singular points of lightlike hypersurfaces of the de Sitter space.
p. 81
A new proof of a theorem of Belov.
p. 102
On sets of periodic and of recurrent points.
p. 131
Integration of the perturbated Jacobi problem.
p. 143
A new rational free-fermion solution of the Yang-Baxter equation.
p. 147