Abstract: In the early 2000s Sela proved that all non-abelian free groups share a common first-order theory. Together with R. Sklinos, we use tools developed in his work to show that no infinite field is definable in this theory. In this talk we will survey the line of proof for a formal solution theorem for a simple sort of definable sets, that have a structure of a hyperbolic tower, and use it to characterize definable sets that do not carry a definable structure of an abelian group.
Thu, 07/04/2016 - 12:00 to 13:15
Manchester Building (room 209), Jerusalem, Israel