Graduate Student Seminar

Title:   Topology and Computability of Order Relations on Some Algebraic Structures
Speaker:  Trang Ha, GWU

Abstract: We discuss order relations on computable magmas, which are computable algebraic structures with binary operations that are not necessarily associative or commutative. The space of orders on a magma consists of all possible orders (of a certain kind) on the structure. We investigate Turing complexity and topological properties of the spaces of orders on a computable magma. We also consider orderings on interesting examples of magmas that rises from algebra and knot theory such as quandles and racks.