Stelling van Lindström

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskundige logica beweert de stelling van Lindström (vernoemd naar de Zweedse logicus Per Lindström) dat de eerste-orde logica de sterkste logica die, mits deze voldoet aan bepaalde voorwaarden, zoals bijvoorbeeld afsluiting onder logische negatie), zowel de (aftelbare) compactheidseigenschap en de (neerwaartse) Löwenheim-Skolem-eigenschap heeft.[1]

Zie ook[bewerken]

Voetnoten[bewerken]

  1. (en) Dale Jacquette, A companion to philosophical logic, 2005, ISBN 1405145757, blz. 329