Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
The Field of Reals is not omega-Automatic
du groupe Graphes et Logique

Date 2011-11-22  11:00-12:00
TitreThe Field of Reals is not omega-Automatic  
RésuméWe investigate structural properties of omega-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure is omega-automatic. We apply these methods to show that no field of characteristic 0 admits an injective omega-automatic presentation, and that uncountable fields with a definable linear order cannot be omega-automatic.  
Lieusalle 76 
OrateurŁukasz Kaiser 
Emailkaiser@liafa.jussieu.fr  
UrlCNRS, Liafa 



Aucun document lié à cet événement.

Retour
Retour à l'index