Quantifier rank for parity of embedded finite models - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2001

Quantifier rank for parity of embedded finite models

Résumé

We prove some lower bounds for quantifier rank of formulas expressing parity of a finite set I of bounded cardinal embedded in an algebraically closed field or an ordered Q-vector space. We show that these bounds are tight when elements of I are known to be linearly independent. In the second part, we prove that strongly minimal structures with quantifier elimination and zero characteristic differentially closed fields admit the active-natural collapse.
On prouve des bornes inférieures pour le rang de quantification de formules exprimant la parité d'un ensemble fini I de cardinal borné, plongé dans un corps algébriquement clos ou un Q-espace vectoriel ordonnée. De plus, ces bornes se trouvent être précises dans le cas où on impose aux éléments de I d'être linéairement indépendants. Dans la seconde partie, on montre que les structures fortement minimales éliminant les quantificateurs et les corps différentiellement clos de caractéristique nulle admettent le collapse actif-naturel
Fichier principal
Vignette du fichier
RR2001-09.pdf (301.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02101892 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101892 , version 1

Citer

Hervé Fournier. Quantifier rank for parity of embedded finite models. [Research Report] LIP RR-2001-09, Laboratoire de l'informatique du parallélisme. 2001, 2+15p. ⟨hal-02101892⟩
15 Consultations
126 Téléchargements

Partager

Gmail Facebook X LinkedIn More