Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Ordinal recursive bounds for Higman's lemma

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le mardi 04 décembre 2007 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Adam Cichon (UHP-LORIA, Nancy)

In this talk we give a constructive proof of Higman's lemma for strings generated over a finite alphabet enabling us to construct and characterise functions which bound the lengths of bad sequences. These bounding functions are described by ordinal-b­recursive definitions and their characterisation is achieved with reference to known ordinal-recursive hierarchies of number­theoretic functions.-A


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents