1964/54/1

On uniform sets in a complete separable metric space

On the genus of an n-connected graph

Local invertibility

A note on the theory of propositional types

The independence of the ordering principle from a restricted axiom of choice

On the non-existence of free complete Boolean algebras

On the Lebesgue measurability and the axiom of determinateness

Recursive objects in all finite types

Some theorems on vector spaces and the axiom of choice

Remarks on the theorem of W. P. Hanf