ABSTRACT
The Scott analysis is a framework to determine the isomorphism type of any countable structure through descriptions of the structure in infinitary logic. As an abstract solution to the isomorphism problem, it provides useful information about invariant Borel classes of countable models. A generalized Scott analysis on arbitrary Polish G-spaces provides a scenario of how the orbit equivalence relations might be reduced to isomorphism relations.
