Sam Ziegler, Caroline Terry, and Phillip Wesolek : Background for "The Borel Complexity of Isomorphism for Theories with Many Types."

Posted by , part of the Louise Hay Logic Seminar.

At

March 31, 2011, 3 p.m.

In

SEO 612

Abstract

This seminar will consist of three short talks covering the following background material: Coding countable structures as elements of a Polish space, the logic action, and the Feldman-Moore theorem and the Lopez-Escobar theorem.