Mathematician:Thoralf Albert Skolem

Mathematician
Norwegian mathematician who worked mainly in the fields of mathematical logic and set theory.

Nationality
Norwegian

History

 * Born: 23 May 1887, Sandsvaer, Buskerud, Norway
 * Died: 23 March 1963, Oslo, Norway

Theorems and Definitions

 * Skolem Normal Form
 * Skolem Sequence
 * Zermelo-Fraenkel-Skolem Set Theory (with and )


 * Skolem's Paradox
 * Skolem-Noether Theorem (also discovered independently by )
 * Ramanujan-Skolem's Theorem (with )


 * Löwenheim-Skolem Theorem (with ), which appears in two forms:
 * Downward Löwenheim-Skolem Theorem
 * Upward Löwenheim-Skolem Theorem

Publications

 * 1920: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen
 * 1922: Axiomatized set theory
 * 1922: Einige Bemerkungen zu axiomatischen Begründung der Mengenlehre
 * 1923: Begründung der elementären Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnugsbereich
 * 1926: Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen
 * 1927: Zur Theorie der assoziativen Zahlensysteme (in which the Skolem-Noether Theorem can be found)
 * 1929: Über einige Grundlagenfragen der Mathematik
 * 1936: Über gewisse 'Verbände' oder 'Lattices'
 * 1957: On certain distributions of integers in pairs with given differences