Literatur
A. Fraenkel: Über eine abgeschwächte Fassung des Auswahl-Axioms. The Journal of Symbolic Logic2 (1937), 1–25.
A. Mostowski: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. Fundamenta Mathematicae XXXII (1939), 201–252.
A. Church, A formulation of the simple theory of types. The Journal of Symbolic Logic5 (1940), 56–68.
A. Mostowski: On absolute properties of relations. The Journal of Symbolic Logic12 (1947), 33–42.
E. Mendelson: The independence of a weak axiom of choice. The Journal of Symbolic Logic21 (1956), 350–366.
G. Hasenjaeger: On definability and derivability. Mathematical Interpretation of formal Systems, Amsterdam 1955.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hasenjaeger, G. Über Interpretationen der Prädikatenkalküle Höherer Stufe. Arch math Logik 4, 71–80 (1958). https://doi.org/10.1007/BF01973144
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01973144