Logic Seminar
Wed, 19 April, 2017
9:30pm
http://home.gwu.edu/~harizanv/
Speaker: Trang Ha, GWU
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.