Evènement pour le groupe
Graphes et Logique
Date | 2011-11-22 11:00-12:00 |
Titre | The 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. |
Lieu | salle 76 |
Orateur | Łukasz Kaiser |
Email | kaiser@liafa.jussieu.fr |
Url | CNRS, Liafa |
Aucun document lié à cet événement.
RetourRetour à l'index