Effective cardinals in the nonstandard universe
  We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations. 
Vladimir Kanovei, and Michael Reeken