Abstract:We will begin our introduction to (many-sorted) first-order predicate logic and the interpretation of various fragments of this logic in categories with sufficient structure.Referencehttps://www.oliviacaramello.com/Unification/ToposTheoreticPreliminariesOliviaCaramello.pdf.
AbstractI will show a solution to a problem asked by Dinh and Sibony in their open problem list, about minimal growth of universal meromorphic functions. This is joint work with Dinh Tuan Huynh and Zhangchi Chen. If time permits, I will also discuss my recent joint work with my Ph.D. student Bin Guo, about the existence of universal holomorphic functions in several variables with slow growth.Sp...