Geodesic

Volume 82 (1974) no. 1

Sommaire

On hereditarily separable Hausdorff spaces in the constructible universe
p. 1-10
Degrees of dependence in the theory of semisets.
p. 11-24
Elementary interpretations of negationless arithmetic
p. 25-38
On nonmonotone inductive definability
p. 39-83
On the sequence of models HODn
p. 85-93