Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Séminaires > Séminaires et Groupes de travail hebdomadaires > Logique et Interactions

Séminaire Logique et Interactions

par Lozingot Eric, Vaux Lionel - publié le , mis à jour le

Agenda

Séminaire

  • Jeudi 19 octobre 11:00-12:00 - Laura FONTANELLA - I2M, Aix-Marseille Université

    Grands cardinaux et compacité

    Résumé : La théorie axiomatique des ensembles s’est développée à partir d’un projet fondationnel pour toutes les mathématiques, cependant le développement de la méthode du forcing a porté à la découverte que des nombreux problèmes mathématiques sont indépendants de la théorie classique des ensembles ZFC. Un grand nombre de ces problèmes se présente sous la forme d’un problème de compacité, c’est à dire pour un certain type de structure (par example, des arbres, des graphes, des groupes etc.) et un propriété donnée (par exemple, la propriété d’être un groupe abelian libre) on suppose que tout sous-structure de taille inférieure satisfait la propriété et on se demande si la structure elle même satisfait la propriété. Ces problèmes peuvent se résoudre à partir des axiomes des grands cardinaux. Nous allons discuter quelques notion de grand cardinal vue comme généralisation du théorème de compacité et nous allons montrer comment ces notions permettent de résoudre des problèmes de compacité qui sont autrement indépendants de ZFC.

    JPEG - 9.1 ko
    Laura FONTANELLA

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 16 novembre 11:00-12:00 - Maxime LUCAS - IRIF, Paris

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

groupe de travail

Manifestation scientifique

Descriptif
Nature Séminaire et Groupe de travail
Intitulé Logique et interactions
Responsable Lionel Vaux
Équipe de rattachement Logique de la Programmation (LDP) du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_AT_univ-amu.fr