This is a preview of subscription content, access via your institution.
Bibliographie
G. Asser — Theorie der logischen Auswahlfunktionen, Z. Math. Logik. u. Grundlagen Math. 3 (1957) pp. 30–68.
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).
D. Hilbert — Gesammelte Abhandlungen, t. III. Springer, Berlin (1935).
K. Gödel — The consistency of the continuum hypothesis, Princeton (1940).
I. L. Novak — A construction for models of consistent systems, Fundam. Math. 37 (1950), pp. 87–110.
A. Tarski, A. Mostowski, R. M. Robinson — Undecidables Theories, Studies in Logic, North Holland Publ. Co., Amsterdam (1953).
H. Wang — Arithmetic translations of axiom systems, Trans. Amer. Math. Soc. 71 (1951), pp. 283–293.
Author information
Authors and Affiliations
Additional information
Les chiffres entre parenthèses renvoient aux items de la Bibliographie.
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00485102