On logics that make a bridge from the Discrete to the Continuous

Abstract: 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.

combinatoricslogicprobability

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic