Dieter Rödding. Anzahlquantoren in der Prädikatenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 , pp. 66–69 [Book Review]

Journal of Symbolic Logic 33 (3):473 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270348

Links

PhilArchive



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

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

Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 , pp. 61–65. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):472-473.
Review: Dieter Rodding, Anzahlquantoren in der Pradikatenlogik. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):473-473.
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.
Review: Dieter Rodding, Anzahlquantoren in der Kleene-Hierarchie. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):472-473.
Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 39–53. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-618.
Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 , pp. 45–62. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):155-156.
Schröter Karl. Der Nutzen der mathemalischen Logik für die Mathematik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 2–16; also Archiv für Philosophie, vol. 4 no. 1 , pp. 82-96. [REVIEW]G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (3):218-218.
Behmann Heinrich. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 , pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 , pp. 212–222. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (1):75-75.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
Behmann Heinrich. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 17–29, and vol. 1 no. 2 , pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 , pp. 97–109, and vol. 4 no. 2 , pp. 193–211. [REVIEW]G. Zubieta R. - 1953 - Journal of Symbolic Logic 18 (1):74-75.
Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schütte - 1975 - Journal of Symbolic Logic 40 (3):458.
Kreisel G.. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 , pp. 84–89. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
Markwald Werner. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 , pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 , pp. 398–406. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):374-374.

Analytics

Added to PP
2016-06-30

Downloads
23 (#641,102)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references