ABSTRACT

Proof, { x j : J < K A J e *p} is the standard part of the internal subset {Xj : J < K A J e *p} of monad(.M), and {xj : J < K A J G *p \ p} is the standard part of the subset {X j : J < K A J G *p \ p} of monad(A4). H

Example 6.8. The converse of Corollary 6.4 is false; there is a neocompact set A and a neotight sequence (xn) such that xn p A but p(Xn,A) = 1 for all n.