Geodesic

Volume 8 (1964) no. 5

Sommaire

Existential definability in arithmetic
p. 3-14
Arithmetical problems and recursively enumerable predicates
p. 15-22
Arithmetical representation of recursively enumerable sets
p. 23-48
Reductions of Hilbert's tenth problem
p. 49-54
An unsolvable problem in number theory
p. 55-68
The decision problem for exponential diophantine equations
p. 69-79
Extensions and corollaries of recent work on Hilbert's Tenth Problem
p. 80-84
Diophantine sets over polynomial rings
p. 85-90
The intermediate problems and the maximum-minimum theory of eigenvalues
p. 91-101
Quadratic forms on vector spaces
p. 102-155
Directions of mathematical research in nonlinear circuit theory
p. 156-176