A Borel reducibility theory for classes of countable structures (1989)

by H Friedman, L Stanley
Venue:The Journal of Symbolic Logic