Lindström's theorem
id:
lindstr-m-s-theorem-163-7714933
title:
Lindström's theorem
text:
In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic having both the (countable) compactness property and the (downward) Löwenheim–Skolem property. Lindström's theorem is perhaps the best known result of what later became known as abstract model theory, the basic notion of which is an abstract logic; the more general notion of an institution was later introduced, which advances from a set-theoretical notion of model to a category-theoretical one. Lindst
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Lindstr%C3%B6m%27s_theorem
date created:
2006-10-19T02:16:06Z
date modified:
2024-08-28T09:16:41Z
main entity:
{"identifier":"Q2379128","url":"https://www.wikidata.org/entity/Q2379128"}
image:
fields total:
13
integrity:
14