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 [Book Review]

Journal of Symbolic Logic 35 (1):155-156 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092793

Links

PhilArchive



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

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 Titgemeyer. 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 (1965), pp. 45–62. [REVIEW]Dieter Titgemeyer - 1970 - Journal of Symbolic Logic 35 (1):155-156.
Kempski Jürgen v.. Relationen- und prädikatenlogische Untersuchungen zur Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 , S. 87–99; auch Archiv für Philosophie, Bd. 5 , S. 407–419. [REVIEW]Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):79-80.
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.
Ü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.
Eichholz Thomas. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 19–28. [REVIEW]J. Reichbach - 1959 - Journal of Symbolic Logic 24 (3):241-241.
Schütte Kurt. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 , S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 , S. 223–224. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.
Lorenzen Paul. Über die Syllogismen als Relationenmultiplikationen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 , S. 112–116. [REVIEW]Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):80-81.
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.
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Mathematical Logic Quarterly 26 (1-6):1-32.
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.
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.
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.
Über Einen Widerspruch in Cogans Darstellung Der Mengenlehre.Rainer Titgemeyer - 1961 - Mathematical Logic Quarterly 7 (11-14):161-163.
Gentzen Gerhard. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 , pp. 81–83. [REVIEW]John Riser - 1973 - Journal of Symbolic Logic 38 (1):157-157.

Analytics

Added to PP
2013-11-03

Downloads
19 (#781,160)

6 months
4 (#800,606)

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