Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194

Journal of Symbolic Logic 5 (3):125-127 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266889

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Gentzen Gerhard. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 , pp. 493–565.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Ackerman Wilhelm. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 , S. 305–315.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (4):167-167.
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.
Ackermann’s substitution method.Georg Moser - 2006 - Annals of Pure and Applied Logic 142 (1):1-18.
Ackermann Wilhelm. Zur Axiomatik der Mengenlehre. Mathematische Annalen, vol. 131 , pp. 336–345.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):215-216.
Ackermann Wilhelm. Mengentheoretische Begründung der Logik. Mathematische Annalen, vol. 115 , pp. 1–22.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (2):85-85.
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.
Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.
Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-132.
Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. . Mathematische Zeitschrift, vol. 55 , pp. 364–384.Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 , pp. 155–166. [REVIEW]Ronald Harrop - 1954 - Journal of Symbolic Logic 19 (4):295-296.
Gentzen Gerhard. Beweisbarkeit und Unbeweisbarkeil von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 119 no. 1 , pp. 140–161. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Widerspruchsfreiheit und konstruierbarkeit AlS kriterien für die mathematische existenz in kants wissenschaftstheorie.Wilhelm Servatius Peters - 1966 - Kant Studien 57 (1-4):178-185.
Gottfried Wilhelm Leibniz, Mathematische Schriften, Geometrie--Zahlentheorie--Algebra 1672-1676.Eberhard Knobloch & Walter S. Contro - 1994 - Noûs 28 (1):128-132.
Mannoury G.. Review of Saarnio's Untersuchungen zur symbolischen Logik I, Kritik des Nominalismus und Grundlegung der logistischen Zeichentheorie . Nieuw archief voor wiskunde, 2 s. vol. 18 part 4 , pp. 108–109.Lautman Albert. Le Congrès International de Philosophie . Revue de métaphysique el de morale, vol. 43 , pp. 113–129.Ackermann Wilhelm. Beiträge zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, vol. 112 , pp. 419–432. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (1):43-44.

Analytics

Added to PP
2013-11-22

Downloads
18 (#839,032)

6 months
1 (#1,478,830)

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