Séminaires : Séminaire de Logique Lyon-Paris

Equipe(s) : lm,
Responsables :O. Finkel, T. Ibarlucía, A. Khélif, S. Rideau, A. Vignati
Email des responsables :
Salle : https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Joanna Ochremiak - IRIF, Université Paris 7,
Titre Infinite constraint satisfaction problems
Date15/05/2017
Horaire15:10 à 16:10
Diffusion
RésumeWe study the homomorphism problem for infinite relational structures which can be defined by finitely many first-order formulas over the natural numbers with equality. We determine the decidability status of this problem depending on whether the signature or/and the number of tuples in a single relation are allowed to be infinite.

Joint work with Bartek Klin, Eryk Kopczyński, Sławek Lasota and Szymon Toruńczyk.
Sallehttps://bigbluebutton.imj-prg.fr/b/sil-gwg-gge
AdresseSophie Germain
© IMJ-PRG