- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- projecteuclid.org [4] (no proxy)
- projecteuclid.org [5] (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- jstor.org [4] (no proxy)
- jstor.org [5] (no proxy)
Mathematische Existenz und Widerspruchfreiheit
Abstract
This article has no associated abstract. (fix it)Author's Profile
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.
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.
Schütte Kurt. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 , S. 394–400.W. Ackermann -1955 -Journal of Symbolic Logic 20 (1):67-67.
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.
Schütte Kurt. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift, Bd. 61 , S. 160–179. [REVIEW]Wilhelm Ackermann -1955 -Journal of Symbolic Logic 20 (3):277-278.
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.
Analytics
Added to PP
2013-11-03
Downloads
115 (#198,424)
6 months
13 (#261,540)
2013-11-03
Downloads
115 (#198,424)
6 months
13 (#261,540)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Russell’s Concepts "Name", "Existence" and "Unique Object of Reference" in Light of Modern Physics.Paul Weingartner -2007 -Russell: The Journal of Bertrand Russell Studies 27 (1):125-143.
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss -1985 -British Journal for the Philosophy of Science 36 (4):437-457.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-bbztg uwo