NERDS: New England Recursion & Definability SeminarSaturday, October 18, 201411:40 amAssumption College, Worcester, MA
The degree spectra of orders on a computable Abelian group
University of Connecticut
For any computable abelian group, the collection of possible linear orderings on the group can be represented as a Π01 class. However, not all Π01 classes can occur in this way, and we investigate the possible Turing degrees of their members. First, we describe the connection between orders for a group and bases for the group. Additionally, we extend a previously known result regarding the Turing degrees not represented in the space of orders of some group.
Caleb Martin is a graduate student in computability theory at the University of Connecticut, working with Reed Solomon.
Posted byon September 16th, 2014