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

Equipe(s) : lm,
Responsables :S. Anscombe, O. Finkel, A. Khélif, S. Rideau, T. Tsankov, A. Vignati
Email des responsables :
Salle : Contacter Silvain Rideau ou Alessandro Vignati
Adresse :
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
Diffusion
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.
SalleContacter Silvain Rideau ou Alessandro Vignati
Adresse
© IMJ-PRG