Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik

Arnold Schmidt

doi:10.1007/bf02054948

journal article Dec 01, 1951

Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik

Arnold Schmidt

Mathematische Annalen Vol. 123 No. 1 pp. 187-200 · Springer Science and Business Media LLC

View at Publisher Save 10.1007/bf02054948

Topics

No keywords indexed for this article. Browse by subject →

References

4

[1]

Nämlich durch: Es gibt einl mitInz (l, h) undInz (l, k).

[2]

Recherches sur la théorie de la démonstration (Thèse Paris). Warschau 1930, Kap. 3, Abschnitt 3.4–3.42, erster Absatz.

[3]

Math. Ann. 115, S. 485–506, im folgenden zitiert als „Th. m. m. S.“.

[4]

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.

Metrics

22

Citations

4

References

Details

Published: Dec 01, 1951
Vol/Issue: 123(1)
Pages: 187-200
License: View

Authors

A

Arnold Schmidt

Cite This Article

Arnold Schmidt (1951). Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, 123(1), 187-200. https://doi.org/10.1007/bf02054948

Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik

You May Also Like