Geodesic

Tome 49 (1960) no. 2

Sommaire

On primitive recursive real numbers
p. 105-118
On the decomposition of Haar measure in compact groups
p. 119-127
An application of games to the completeness problem for formalized theories
p. 129-141
Collections of convex sets which cover a Banach space
p. 143-145
Embedding linearly ordered sets in real lexicographic products
p. 147-150
Sur les familles d'ensembles infinis de nombres naturels
p. 151-155
Cartesian products of Baire spaces
p. 157-166
Sur une problème de la logique à n valeurs
p. 167-170
Undecidable and creative theories
p. 171-179
A nowhere differentiable and except on a denumerable set everywhere continuous function
p. 181-182
On convex metric spaces I
p. 183-204
A generalization of the incompleteness theorem
p. 205-232