Skip to main content

Certains aspects syntactiques d'une notion de modele: Relativisation d'une fonction logique de choix

This is a preview of subscription content, access via your institution.

Bibliographie

  1. G. Asser — Theorie der logischen Auswahlfunktionen, Z. Math. Logik. u. Grundlagen Math. 3 (1957) pp. 30–68.

    Google Scholar 

  2. N. Bourbaki — Elements de Mathématique. Livre 1: Théorie des Ensembles. Chapitres I et II. Actualités scientifiques et industrielles, no. 1212, Hermann, Paris (1954).

  3. D. Hilbert — Gesammelte Abhandlungen, t. III. Springer, Berlin (1935).

    Google Scholar 

  4. K. Gödel — The consistency of the continuum hypothesis, Princeton (1940).

  5. I. L. Novak — A construction for models of consistent systems, Fundam. Math. 37 (1950), pp. 87–110.

    Google Scholar 

  6. A. Tarski, A. Mostowski, R. M. Robinson — Undecidables Theories, Studies in Logic, North Holland Publ. Co., Amsterdam (1953).

    Google Scholar 

  7. H. Wang — Arithmetic translations of axiom systems, Trans. Amer. Math. Soc. 71 (1951), pp. 283–293.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Les chiffres entre parenthèses renvoient aux items de la Bibliographie.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Guillaume, M. Certains aspects syntactiques d'une notion de modele: Relativisation d'une fonction logique de choix. Synthese 12, 236–248 (1960). https://doi.org/10.1007/BF00485102

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00485102