University of Calgary
UofC Navigation

Skolem's 1920, 1923 Papers

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Sat, 01/31/2015 - 10:45am

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.

File attachments: