Standard sets in nonstandard set theory. - Petr Andreev; Karel Hrbacek (J. Symb. Log., 2004)