Logic Seminar-Representation of the spaces of orders on computable magmas
Wed, 19 April, 2017
9:30pm
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.