Computable Scott Sentences and the Friedman-Stanley embedding

David Gonzalez, Julia Knight

Friedman and Stanley developed the notion of Borel reducibility and illustrated its use in comparing classification problems for some familiar classes of countable structures. For…