Bazsites.com Skolem, Thoralf

Directory Topics

Thoralf Skolem (1887-1963) - Biography from MacTutor History of mathematics archive.
Skolem Issue of the Nordic Journal of Philosophical Logic - Special issue with articles by Jens Erik Fenstad, Herman Ruge Jervell, Hao Wang, Grigori Mints, Matti Eklund on Skolem's life and work.

Skolem normal form - A formula of first-order logic is in Skolem normal form (named after Thoralf Skolem) if its prenex normal form only contains universal quantifiers. Every first-order formula can be converted into Skolem normal form while not changing its satisfiability via a process called Skolemization.
Thoralf Skolem - | birth_place = Sandsvaer, Buskerud, Norway
Herbrandization - The Herbrandization of a logical formula (named after Jacques Herbrand) is a construction that is dual to the Skolemization of a formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as part of his proof of the Löwenheim-Skolem theorem (Skolem 1920).
Skolem–Noether theorem - In mathematics, the Skolem–Noether theorem, named after Thoralf Skolem and Emmy Noether, is an important result in ring theory which characterizes the automorphisms of simple rings.