Advertisement

Certains Aspects Syntactiques d’une Notion de Modèle: Relativisation d’une Fonction Logique de Choix

  • Marcel Guillaume
Chapter
Part of the Synthese Library book series (SYLI, volume 3)

Résumé

Ce que je veux dire concerne un mode selon lequel la notion de modèle apparaît en mathématique depuis fort longtemps, avant qu’il ait été généralisé et codifié selon des règles syntactiques précises par différents auteurs et sous différents noms. On peut voir en effet dans le procédé dont je vais parler une variante du procédé de translation d’une théorie dans une autre de Wang (7); cependant, comme j’en délaisserai les cas les plus complexes pour en éviter les complications, souvent inessentielles, on pourra aussi, en regardant bien, en rattacher les cas que j’envisagerai au procédé d’interprétation de Tarski (6). Enfin, on verra aussi comment ce procédé s’apparente étroitement au procédé de relativisation employé par Gödel dans son ouvrage célèbre sur la compatibilité de l’axiome du choix (4).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. 1.
    G. Asser — Theorie der logischen Auswahlfunktionen, Z. Math. Logik, u. Grundlagen Math 3 (1957) pp. 30–68.CrossRefGoogle Scholar
  2. 2.
    N. Bourbaki — Eléments de Mathématique. Livre 1: Théorie des Ensembles. Chapitres I et II. Actualités scientifiques et industrielles, no. 1212, Hermann, Paris (1954).Google Scholar
  3. 3.
    D. Hilbert — Gesammelte Abhandlungen, t. III. Springer, Berlin (1935).Google Scholar
  4. 4.
    K. Gödel — The consistency of the continuum hypothesis, Princeton (1940).Google Scholar
  5. 5.
    I. L. Novak — A construction for models of consistent systems, Fundam. Math 37 (1950), pp. 87–110.Google Scholar
  6. 6.
    A. Tarski, A. Mostowski, R. M. Robinson — Undecidables Theories, Studies in Logic, North-Holland Publ. Co., Amsterdam (1953).Google Scholar
  7. 7.
    H. Wang — Arithmetic translations of axiom systems, Trans. Amer. Math. Soc 71 (1951), pp. 283–293.CrossRefGoogle Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, The Netherlands 1961

Authors and Affiliations

  • Marcel Guillaume
    • 1
  1. 1.C.N.R.SFrance

Personalised recommendations