Growing forests in abelian p-groups , dvi file , ps file . The purpose of this note is to finish a development of the theory of simply presented p -groups which exploits tree structure as much as possible. The same techniques are used to show that countable p -groups are simply presented. The relations among a set, its complement, and its boundary are examined constructively. A crucial tool is a theorem that allows the construction of a point where a segment comes close to the boundary of a set in a Banach space.
Brouwerian examples show that many of the results are the best possible.
Interview with a constructive mathematician , LaTeX file , dvi file , ps file . This interview is cobbled together from a series of conversations that took place on the list, l-math, during the fall of 1994. It concerns the nature of constructive mathematics, starting with the question of whether the objects studied by constructive mathematicians are the same as those studied by classical mathematicians. Flat dimension, constructivity, and the Hilbert syzygy theorem , dvi file , ps file . A constructive treatment of flat dimension of modules including a proof of the Hilbert syzygy theorem.