%0 Journal Article %A Ballard, David %A Hrbacek, Karel %D 1992 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 2 %P 741-748 %T Standard foundations for nonstandard analysis %V 57