Logic Seminar-Representation of the spaces of orders on computable magmas

Wednesday, April 19, 2017

5:30–6:30p.m.

Speaker: Trang Ha, GWU

Place: Rome Hall (801 22nd Street), Room 351

Title: Representation of the spaces of orders on computable magmas

Abstract: We consider order relations on a computable magma. We discuss how these orders are represented as infinite paths of a computable binary tree, while the Turing degrees are preserved. Using the natural topology defined on the set of orders, we investigate the topological properties of the space of orders. The lack of computable orders leads to an interesting description of the space.