Scott sentence
= Scott sentence
{c}
{title2=$\sigma_M$}
A Scott sentence for a countable structure is a sentence of <countable infinitary logic> satisfied, among countable structures in the same <first-order language>, exactly by its <isomorphic> copies. It may also have uncountable models. <Scott formulas> and stabilized <back-and-forth method> equivalences give its construction.