Abstract
Je cherche á construire une structure M éliminant rapidement les quanteurs: á toute formule existentielle (∃y)φ(x, y), oú φ est sans quanteurs, doit être associée une formule ψ(x), également libre de quanteurs, qui lui soit équivalente dans M, la longueur de ψ étant polynomialement bornée en fonction de celle de φ; autrement dit, pour une certaine constante c, |ψ| ≤ |φ| c. Tant qu’á faire, j’aimerais aussi que ψ fût calculée par un algorithme polynomial á partir de φ.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and real computations. Springer-Verlag (1998).
Bouscaren, E., Poizat, B.: Des belles paires aux beaux uples. Journal of Symbolic Logic 53 (1988) 434–442.
Fournier, H., Koiran, P.: Lower bounds are not easier for the Reals. Prépublications LIP-ENS Lyon, Number 1999-21 (1999).
Goode, J.B.: Accessible telephone directories. Journal of Symbolic Logic, 59 (1994) 92–105.
Koiran, P.: Transfer theorems via sign conditions. Prépublications LIP-ENS Lyon, Number 2000-13 (2000).
Poizat, B.: Cours de Théorie des Mod`eles. Nur al-Mantiq wal-Maŕifah. Version anglaise par Moses Klein, A Course in Model Theory, Springer-Verlag (2000).
Poizat, B.: Les petits cailloux. Nur al-Mantiq wal-Márifah. Aléas Editeur, 15 quai Lassagne, 69001 Lyon, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poizat, B. (2000). Une tentative malheureuse de construire une structure éliminant rapidement les quanteurs. In: Clote, P.G., Schwichtenberg, H. (eds) Computer Science Logic. CSL 2000. Lecture Notes in Computer Science, vol 1862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44622-2_4
Download citation
DOI: https://doi.org/10.1007/3-540-44622-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67895-3
Online ISBN: 978-3-540-44622-4
eBook Packages: Springer Book Archive