Set Theory & Analysis

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.