Löwenheim number
id:
l-wenheim-number-163-7841186
title:
Löwenheim number
text:
In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds. They are named after Leopold Löwenheim, who proved that these exist for a very broad class of logics.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/L%C3%B6wenheim_number
date created:
2010-09-19T08:53:39Z
date modified:
2024-08-28T09:14:39Z
main entity:
{"identifier":"Q4988715","url":"https://www.wikidata.org/entity/Q4988715"}
image:
fields total:
13
integrity:
14