Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe

Mathematical Logic Quarterly 3 (21):303-316 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19570032102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1957 - Mathematical Logic Quarterly 3 (21):303-316.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Mathematical Logic Quarterly 1 (4):264-270.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):264-270.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):252-263.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.János Surányi - 1959 - Budapest,: Verlag der Ungarischen Akademie der Wissenschaften.
VI. Aufbau, Autorschaft und Datierung der ersten peripatetischen Doxographie bei Stobaios.Philip Schmitz - 2014 - In "Cato Peripateticus" - Stoische Und Peripatetische Ethik Im Dialog: Cic. "Fin." 3 Und der Aristotelismus des Ersten Jh. V. Chr. De Gruyter. pp. 201-235.
Der transfinite Progressus und seine ontologische Deutung: Die transfinite Komplikation des Bewusstseins und die Mengenlehre Phänomenologische und mathematische Theorie des Transfiniten.Oskar Becker - 1927 - Jahrbuch für Philosophie Und Phänomenologische Forschung 8:566.
4 Mereologische Begriffe erster Stufe.Philipp Werner - 2015 - In David Lewis Und Seine Mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre: Eine Rekonstruktion. Boston: De Gruyter. pp. 21-26.
7 Mereologische Begriffe zweiter Stufe.Philipp Werner - 2015 - In David Lewis Und Seine Mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre: Eine Rekonstruktion. Boston: De Gruyter. pp. 31-38.
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
Über eine art Von unvollständigkeit Des prädikaten-kalküls der ersten stufe.Gisbert Hasenjaeger - 1950 - Journal of Symbolic Logic 15 (4):273-276.
Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (6‐10):81-107.

Analytics

Added to PP
2016-02-04

Downloads
21 (#732,808)

6 months
1 (#1,463,894)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references