References
G. Kreisel,On the concepts of completeness and interpretation of formal systems. Fundamenta Mathematica, (forthcoming).
Hilbert-Bernays,Grundlagen der Mathematik. Vol. 2, Berlin (1939).
K. Gödel,Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik, vol. 37, (1930), p. 349–360.
L. Henkin,Completeness in the theory of types. Journal of Symbolic Logic, vol. 15, (1950), p. 81–91.
A. Church,A formulation of the simple theory of types. Journal of Symbolic Logic, vol. 5, (1940), p. 56–68.
A. Schmidt,Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123, (1951), p. 187–200.
K. Schütte,Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123, (1951), p. 166 bis 186.
K. Gödel,The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory. Annals of Mathematics Studies, No. 3, Princeton (1940).
G. Kreisel,Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta Mathematicae, vol. 37, (1950), p. 265 bis 285.
L. Henkin,The completeness of the first order functional calculus. Journal of Symbolic Logic, vol. 14, (1949), p. 159–166.
Rights and permissions
About this article
Cite this article
Kreisel, G. Remark on complete interpretations by models. Arch math Logik 2, 4–9 (1954). https://doi.org/10.1007/BF01969421
Issue Date:
DOI: https://doi.org/10.1007/BF01969421