Graduate Student Seminar

Title:  Computable Free Groups and Their Bases

Speaker: Iva Bilanovic  

Abstract: : In this talk we will consider the computability theoretic complexity of finding a basis for a computable free group of infinite rank. We will use basic properties of free groups to build a computable sequence of computable infinitary π₂ formulas expressing the property of membership in a basis. The relativized limit lemma and these formulas will lead us to a π₂ basis.