Geodesic

Volume 54 (1964) no. 1

Sommaire

On uniform sets in a complete separable metric space
p. 1-6
On the genus of an n-connected graph
p. 7-13
Local invertibility
p. 15-25
A note on the theory of propositional types
p. 27-29
The independence of the ordering principle from a restricted axiom of choice
p. 31-43
On the non-existence of free complete Boolean algebras
p. 45-66
On the Lebesgue measurability and the axiom of determinateness
p. 67-71
Recursive objects in all finite types
p. 73-93
Some theorems on vector spaces and the axiom of choice
p. 95-107
Remarks on the theorem of W. P. Hanf
p. 109-113