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

Equipe(s) : lm,
Responsables :O. Finkel, T. Ibarlucía, A. Khélif, S. Rideau, C. Sureson
Email des responsables :
Salle : salle 2015
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Chris Laskowski - University of Maryland ,
Titre Borel complexity and potential canonical Scott sentences
Date26/02/2018
Horaire15:10 à 16:10
RésumeGiven a first order theory or a sentence $\Phi$ of $L_\omega_1,\omega$, we define the class of potential canonical Scott sentences of $\Phi$. Simply by comparing cardinalities, we obtain new results about the Borel complexity of $(Mod(\Phi),\iso)$, the class of countable models of $\Phi$. In particular, we find examples of first order theories T for which Mod(T) is not Borel complete, yet the isomorphism relation on Mod(T) is not Borel.
This is joint work with Douglas Ulrich and Richard Rast.
Sallesalle 2015
AdresseSophie Germain
© IMJ-PRG