Thoralf Skolem (skolem)

Beiträge zu Philosophie.ch

Bibliography

Skolem, Thoralf. 1919. “Untersuchungen über die Axiome des Klassenkalküls und über Produktions- und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen.” Reprinted in Skolem (1970a).
Skolem, Thoralf. 1920. “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.” Reprinted in Skolem (1970a, 103–136).
Skolem, Thoralf. 1923a. “Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.” in Mathematikerkongressen i Helsingfors den 4–7 Juli 1922, Den femte skandinaviska matemiterkongressen, Redogörelse, edited by Jens Erik Fenstad, pp. 197. Oslo: Universitetsforlaget. Translated by Stefan Bauer-Mengelberg in van Heijenoort (1967, 290–301).
Skolem, Thoralf. 1923b. “Begründung der elementare Zahlentheorie durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich.” Videnskapsselskapets skrifter, I. Matematisk-naturvidenskabelig klasse 6.
Skolem, Thoralf. 1928. “Über die mathematische Logik.” Norsk Matematisk Tidsskrift 10: 125–147.
Skolem, Thoralf. 1929. “Über einige Grundlagenfragen der Mathematik.” Skrifter utgitt av det Norske Videnskaps-Akademi i Oslo, Mat.-naturvidenskapelig klasse 1(4): 3–49.
Skolem, Thoralf. 1934. “Über de Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen.” Fundamenta Mathematicae 23: 150–161.
Skolem, Thoralf. 1955a. “The Logical Nature of Arithmetic.” Synthese 9(1): 375–384.
Skolem, Thoralf. 1955b. “Peano’s Axioms and Models of Arithmetic.” in Mathematical Interpretation of Formal Systems, pp. 1–14. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
Skolem, Thoralf. 1958. “Reductions of Axiom Systems with Axiom Schemes to Systems with Only Simple Axioms.” Dialectica 12(47–48): 443–450.
Skolem, Thoralf. 1961. “Interpretation of Mathematical Theories in the First Order Predicate Calculus.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 218–225. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Skolem, Thoralf. 1962. Abstract Set Theory. Notre Dame Mathematical Lectures n. 8. Notre Dame, Indiana: University of Notre Dame Press.
Skolem, Thoralf. 1970a. Selected Works in Logic. Oslo: Universitetsforlaget. Edited by Jens Erik Fenstad.
Skolem, Thoralf. 1970b. “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischen (sic) Sätze nebst einem Theoreme über dichte Mengen.” Reprinted in Skolem (1970a, 103–136).
Skolem, Thoralf. 1972a. “Sur la logique mathématique.” in Logique mathématique, Textes, edited by Jean Largeault, pp. 91–108. U Epistémologie. Paris: Armand Colin. Traduction de Skolem (1928).
Skolem, Thoralf. 1972b. “Sur quelques question relatives aux fondements des mathématiques.” in Logique mathématique, Textes, edited by Jean Largeault, pp. 139–172. U Epistémologie. Paris: Armand Colin. Traduction partielle de Skolem (1929).
Skolem, Thoralf, Hasenjaeger, Gisbert, Kreisel, Georg, Robinson, Abraham, Wang, Hao, Henkin, Leon and Łoś, Jerzy. 1955. Mathematical Interpretation of Formal Systems. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.

Further References

van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.