Publicación clave que aborda el teorema de Löwenheim-Skolem, una de las piedras angulares de la teoría de modelos, demostrando la existencia de modelos contables para teorías con modelos infinitos.
noruego
Thoralf Skolem fue un matemático noruego conocido por sus contribuciones a la lógica matemática y la teoría de modelos. Su trabajo ha tenido un impacto duradero en la fundamentos de las matemáticas y la teoría de conjuntos.
Publicación clave que aborda el teorema de Löwenheim-Skolem, una de las piedras angulares de la teoría de modelos, demostrando la existencia de modelos contables para teorías con modelos infinitos.
Aparecen junto a Thoralf Skolem en búsquedas del archivo