Wieslaw Kubis - Institute of Mathematics, Czech Academy of Sciences,
Titre
Generic evolutions
Date
27/09/2021
Horaire
15:15 à 16:15
Diffusion
Résume
We shall present the concept of ``abstract evolution system'' which, in particular, captures the main ideas of the theory of universal homogeneous structures (Fraisse limits). Evolution systems can also be viewed as a generalization of abstract rewriting systems. We shall present an analogue of Newman's Lemma, saying that a locally confluent terminating system is confluent. Terminating evolution systems actually correspond to finite ultra-homogeneous structures.