1984/121/1

Ramified analysis and the minimal β-models of higher order arithmetics

Binary consistent choice on pairs and a generalization of Konig's infinity lemma

Subopen multifunctions and selections

Notes on topological games

Fixed point index for open sets in euclidean spaces

Remarks on the n-dimensional geometric measure of compacta

Fix-finite approximation of n-valued multifunctions

A universal metacompact developable ${\displaystyle T_1}$-space of weight m