Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, O. Finkel, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Wieslaw Kubis - Institute of Mathematics, Czech Academy of Sciences,
Titre Generic evolutions
Horaire15:15 à 16:15
RésumeWe 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.
AdresseSophie Germain