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

Equipe(s) : lm,
Responsables :S. Anscombe, 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) Mickaël Matusinski - Université de Bordeau,
Titre Surreal numbers with exponential and omega-exponentiation
Horaire16:00 à 17:15
Diffusion https://u-paris.zoom.us/rec/share/1MOnn6zecV0Uke2aRXWnE2ET66V0ZS8RZcs13A_iXrs-sNKrezEgptIRwdj4kpWv.Ij3LIHUe_BsWTxCH
RésumeIntroduced by Conway to evaluate partial combinatorial games, surreal numbers consist in a proper class containing "all numbers great and small". Moreover, they can be endowed with a very rich algebraic and even analytic structure, turning them into universal domains for several important theories : linearly ordered sets, ordered Abelian groups, ordered valued fields - in particular ordered generalized series fields via the omega-exponentiation -, real analytic fields and exponential fields, and more recently H-fields (an abstract version of Hardy fields due to M. Aschenbrenner and L. van den Dries). In this talk, I will introduce these fascinating objects, starting with the very basic definitions, and will give a quick overview, with a particular emphasis on exp (which extends exp on the real numbers) and the omega map (which extends the omega-exponentiation for ordinals). This will help me to subsequently present our recent contributions with A. Berarducci, S. Kuhlmann and V. Mantova concerning the notion of omega-fields (possibly with exp). One of our motivations is to clarify the link between composition and derivation for surreal numbers.
AdresseSophie Germain