BabelNet

Search

bn:02772522n

Noun Named Entity

Categories: Metalógica, Teoria dos modelos, Teoremas de matemática

PT

teorema de Löwenheim-Skolem Teorema de Löwenheim–Skolem teorema löwenheim-skolem

PT

Na lógica matemática, o teorema Löwenheim-Skolem, assim denominado em referência a Leopold Löwenheim e Thoralf Skolem, afirma que, se uma teoria de primeira ordem contável tem um modelo infinito, então para cada número cardinal infinito κ, existe um modelo de tamanho κ. Wikipedia

Definitions

Relations

Sources

PT

Na lógica matemática, o teorema Löwenheim-Skolem, assim denominado em referência a Leopold Löwenheim e Thoralf Skolem, afirma que, se uma teoria de primeira ordem contável tem um modelo infinito, então para cada número cardinal infinito κ, existe um modelo de tamanho κ. Wikipedia

IS A

PART OF

lógica matemática

teoria dos modelos

NAMED AFTER

Leopold Löwenheim

Wikipedia

PT

Teorema de Löwenheim–Skolem

Wikidata

PT

teorema de Löwenheim-Skolem

Wikipedia Translations

PT

teorema löwenheim-skolem