Oliver Club
Thursday, April 7, 2016 - 4:00pm
Malott 532
Computable structure theory investigates the interplay between algebraic and analytic properties of mathematical structures, and the information that can be encoded by these structures. When does the algebraic structure completely determine its effective aspects? We use an extension of computability to discuss this question for uncountable structures, in particular linear orderings and free abelian groups.
Refreshments will be served at 3:30 PM.
Poster for this talk →