University Seminar: Logic Across Disciplines-Encoding Noncomputable Sets into Orders on Computable Structures

Title:  Encoding Noncomputable Sets into Orders on Computable Structures
Speaker:   Valentina Harizanov, GWU
http://home.gwu.edu/~harizanv/

Date and Time:  Friday, January 26, 2018 11:00 am-12 noon
Place: Phillips 736

Abstract: We consider a structure with a binary operation, which admits orders that are invariant under the operation. The space of these orders is compact under a natural topology, and in many cases homeomorphic to the Cantor set. For such computable structures, including many groups, we show when it is possible to encode an arbitrary set into an order so that their Turing degrees are preserved.