Mathematische Existenz und Widerspruchfreiheit

&
Journal of Symbolic Logic 43 (1):150 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271965

Other Versions

original Bernays, Paul (1978) "Uber den Platonismus in der Mathematik". Journal of Symbolic Logic 43(1):149-149

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Bernays Paul. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuch'tel 1950, pp. 11–25. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):210-211.
Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
Paul Bernays und die Begründung der Mengenlehre.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):350-350.
Schütte Kurt. Schlussweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, vol. 122 , pp. 47–65.Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 , pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 , pp. 8–12. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336.
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147.Wilhelm Ackermann - 1953 - Journal of Symbolic Logic 18 (1):76-76.
Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.Hilbert Levitz - 1970 - Journal of Symbolic Logic 34 (4):655-655.

Analytics

Added to PP
2013-11-03

Downloads
106 (#201,372)

6 months
40 (#108,690)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.

Add more citations

References found in this work

No references found.

Add more references