Nous étudions les structures logiques finies ou infinies à travers les énoncés de profondeur de quantification donnée qui sont vrais dans ces structures. <br /><br />Cette étude porte principalement sur un nouvel outil logique appelé $k$-destinées de Nézondet. Une $k$-destinée d'une structure consiste en une présentation arborescente des types de $k$-isomorphisme de Fraïssé de la structure. Nous analysons ce nouvel outil, en particulier nous montrons que les destinées s'intègrent parfaitement au contexte des $k$-isomorphismes de Fraïssé et des jeux d'Ehrenfeucht. <br /><br />Nous détaillons un algorithme de décision utilisant les destinées. Nous comparons en détail les structures dont on peut construire récursivement les destinées et les structures $H$-bornées. Enfin, nous donnons quelques résultats intermédiaires du problème NE ?= CoNE et de sa version logique, la conjecture du Spectre.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00011983 |
| Date | 01 July 2003 |
| Creators | Chateau, Annie |
| Publisher | Université d'Auvergne - Clermont-Ferrand I |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0022 seconds