Speaker Introduction

Dr. Rosario Mennuni is actually a Postdoctoral Researcher at Università degli Studi di Milano. Dr. Rosario Mennuni got his Ph. D in Mathematics at University of Leeds in 2020. His research focuses on Model Theory, Neostability Theory, Arithmetic Ramsey Theory and beyond.

Abstract

I will talk about recent joint work with M. Di Nasso, L. Luperi Baglini, M. Mamino and M. Ragosta, where we consider the following problem: given binary functions f(x, y), g(x, y) on the natural numbers, when is it the case that, for every finite colouring of the naturals, there is an increasing sequence (ai) such that all f(ai, aj) and g(ai, aj), for i < j, have the same colour? We study this problem by introducing the notion of "Ramsey partition regularity", and then characterising it in terms of certain ultrafilters related to tensor products and dubbed "Ramsey’s witnesses", and in terms of nonstandard arithmetic. These characterisations are then used to solve various instances of the problem above, e.g. involving polynomials and exponentials.