University Seminar: Logic Across Disciplines-Trees of orderings

Title:   Trees of orderings

Speaker:   Jennifer Chubb, University of San Francisco  http://www.cs.usfca.edu/~jcchubb/

Date and Time: Friday, October 27, 2017, 04:15pm-05:15pm

Place: Rome Hall 771

Abstract:  An ordering of an algebraic structure with identity can be often identified with the corresponding set of positive elements.  For a given algebraic structure, we can organize the cones of all the admitted orderings on a tree.  When the structure is computable, the tree can be constructed in an effective way.  Topological properties of this space of orderings can provide insight into algorithmic properties of the orderings, and vice versa.  In this talk, we will see how to construct these trees and what they can tell us.