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

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