Article PDF
Avoid common mistakes on your manuscript.
Literatur
Nämlich durch: Es gibt einl mitInz (l, h) undInz (l, k).
Recherches sur la théorie de la démonstration (Thèse Paris). Warschau 1930, Kap. 3, Abschnitt 3.4–3.42, erster Absatz.
Math. Ann. 115, S. 485–506, im folgenden zitiert als „Th. m. m. S.“.
Der in der vorliegenden Arbeit veröffentlichte Beweis stammt aus dem Jahre 1939. Ich trug ihn im Dezember 1946 im Kolloquium der Mathematischen Gesellschaft der Universität Göttingen vor.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schmidt, A. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Math. Ann. 123, 187–200 (1951). https://doi.org/10.1007/BF02054948
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02054948