September 4
Mirna Džamonja,
IHPST, CNRS-Université Panthéon-Sorbonne Paris, France
On logics that make a bridge from the Discrete to the Continuous
We study logics which model the passage between an infinite sequence of finite models to an uncountable limiting object, such as is the case in the context of graphons. Of particular interest is the connection between the countable and the uncountable object that one obtains as the union versus the combinatorial limit of the same sequence.