1997/152/2

Interpreting reflexive theories in finitely many axioms

A Nielsen theory for intersection numbers

Structure spaces for rings of continuous functions with applications to realcompactifications

Partition properties of ω1 compatible with CH

A new large cardinal and Laver sequences for extendibles