Logic seminar

Speaker: Valentina Harizanov, GWU

http://home.gwu.edu/~harizanv/

Title: Coding sets into orders

Abstract: An abelian group is orderable if and only if it is torsion-free. We will show how sets of natural numbers can be coded into orders on computable abelian torsion-free groups.