Skolem’s 1920, 1923 Papers

In case you need the original 1920 or 1923 papers by Skolem, and you don’t have Selected Works in Logic handy, here are PDFs extracted from the digital version of Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse made available by the Biodiversity Heritage Library and the Internet Archive.

Thoralf Skolem, “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen“, Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse 1920, no. 4, pp. 1­–36

Thoralf Skolem, “Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich“, Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse 1923, no. 6, pp.  1–38.

2 thoughts on “Skolem’s 1920, 1923 Papers

  1. The links to Skolems papers are broken. Very keen on finding these!

Leave a Reply

Your email address will not be published. Required fields are marked *