Disambiguation evidence for Löwenheim–Skolem theorem (via additional arguments) via surface form

"Löwenheim–Skolem theorem"

Triples (6)

Triples where some other subject referred to this entity as "Löwenheim–Skolem theorem".

Thoralf Skolem → notableWork →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ
Thoralf Skolem → knownFor →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ
Skolem paradox → relatedTo →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ
linked to: Löwenheim–Skolem theorem (via additional arguments)
model theory → hasKeyConcept →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ
Leopold Löwenheim → notableWork →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ
Leopold Löwenheim → knownFor →
"Löwenheim–Skolem theorem"
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)
ⓘ