Structures, Theories, and Diagrams, Conference Definability in Computable Structures, Chicago (plenary).). Conference Paper uri icon