Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-10T07:26:08.734Z Has data issue: false hasContentIssue false
  • English
  • Français

research-article

Published online by Cambridge University Press:  12 March 2014

Bruno Poizat
Bruno Poizat*
Affiliation:
Université P. Et M. Curie, Paris, France
Get access Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 51 , Issue 1 , March 1986 , pp. 22 - 32
Copyright
Copyright © Association for Symbolic Logic 1986

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

[BGS]Baker, Theodore, Gill, John III, and Solovay, Robert, Relativizations of the question, SIAM Journal on Computing, vol. 4 (1975), pp. 431–442.CrossRefGoogle Scholar
[BS]Baker, Theodore and Selman, Alan, A second step toward the polynomial hierarchy, Theoretical Computer Science, vol. 8 (1979), pp. 177–187.CrossRefGoogle Scholar
[F]Fraïssé, Roland, Cours de logique mathématique. II, Gauthier-Villars, Paris, 1972.Google Scholar
[O]Odifreddi, Piergiorgio, Forcing and reducibilities, this Journal, vol. 48 (1983), pp. 288–310.Google Scholar
[P1]Poizat, Bruno, Étude d'un forcing en théorie des modèles, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 347–356.CrossRefGoogle Scholar
[P1′]Poizat, Bruno, Remarques sur le “forcing” en théorie des modèles, Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 283 (1976), pp. 131–134.Google Scholar
[P1″]Poizat, Bruno, “Forcing” et relations générales sur une structure ω-catégorique, Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 283 (1976), pp. 223–224.Google Scholar
[P2]Poizat, Bruno, Le “forcing” de Fraïssé dans un contexte arithmétique, Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 289 (1979), pp. 409–412.Google Scholar
[P3]Poizat, Bruno, Degrés de définissabilite arithmétique des génériques, Comptes Rendus des Séances de l'Académie des Sciences, Série I: Mathématique, vol. 293 (1981), pp. 289–291.Google Scholar
[Sa]Santha, Miklos, Contribution à l'étude de la hiérarchie polynomiale relativisée, Thèse du Troisième Cycle, Université Paris–VII, Paris, 1983.Google Scholar
[St]Stockmeyer, L. J., The polynomial-time hierarchy, Theoretical Computer Science, vol. 3 (1976), pp. 1–22.Google Scholar