콤팩트성 정리와 뢰벤하임-스코렘 정리

콤팩트성 정리와 뢰벤하임-스코렘 정리는 1차 논리가 어떤 구조를 설명할 수 있는지를 지배하는 두 가지 근본적인 결과로, 1차 논리의 힘과 내재된 한계를 모두 보여줍니다.

Definition

콤팩트성 정리는 1차 문장 집합이 만족 가능할 필요충분조건은 모든 유한 부분 집합이 만족 가능하다는 것이며, 뢰벤하임-스코렘 정리는 무한 모델을 가진 모든 1차 이론은 그 언어의 기수성 이상의 모든 무한 기수성에서 모델을 가진다고 명시합니다.

Scope

이 주제는 콤팩트성 정리와 완전성 또는 초필터를 통한 증명, 모델의 기수성에 대한 하향 및 상향 뢰벤하임-스코렘 정리, 산술 및 해석학의 비표준 모델 존재를 포함한 표준적인 결과, 그리고 스코렘의 역설을 다룹니다.

Core questions

• 이론의 유한 만족 가능성이 모델을 보장하는 이유는 무엇입니까?
• 이 정리들이 산술 및 실수의 비표준 모델을 어떻게 생성합니까?
• 어떤 1차 이론도 기수성까지 무한 구조를 특징지을 수 없는 이유는 무엇입니까?
• 스코렘의 역설은 무엇이며 어떻게 해결됩니까?

Key theories

콤팩트성 정리

문장 집합의 모든 유한 부분 집합이 모델을 가지면 전체 집합도 모델을 가집니다. 이는 완전성에서 파생되거나 초필터를 사용하여 의미론적으로 증명될 수 있습니다.

하향 뢰벤하임-스코렘 정리

모든 무한 구조는 그 언어의 기수성 이하의 기수성을 가진 기본 부분 구조를 가집니다. 따라서 무한 모델을 가진 가산 이론은 가산 모델을 가집니다.

상향 뢰벤하임-스코렘 정리

모든 무한 모델은 모든 더 큰 기수성의 모델로 기본적으로 확장될 수 있으므로, 1차 이론은 무한 모델의 크기를 고정할 수 없습니다.

Clinical relevance

이 정리들은 모델 이론의 핵심 도구입니다. 콤팩트성은 결과를 증명하거나 이전하는 비표준 모델을 구성하는 데 사용되며, 뢰벤하임-스코렘 정리는 자연수 또는 실수의 1차 공리화가 항상 의도치 않은 모델을 허용하는 이유를 설명하여 논리적 프레임워크 선택에 영향을 미칩니다.

History

뢰벤하임은 1915년에 하향 정리의 한 버전을 증명했으며, 스코렘은 1920년대에 이를 일반화하고 정교화했습니다. 콤팩트성은 괴델에 의해 완전성의 따름정리로 얻어졌고, 말체프에 의해 비가산 언어로 확장되었는데, 그는 이를 처음으로 활용하여 대수적 정리를 도출함으로써 응용 모델 이론의 길을 열었습니다.

Key figures

• Leopold Loewenheim
• Thoralf Skolem
• Kurt Goedel
• Anatoly Maltsev

Seminal works

• changkeisler1990
• marker2002
• hodges1993

Frequently asked questions

산술의 비표준 모델이란 무엇입니까?

콤팩트성을 통해 산술의 공리에 모든 숫자를 초과하는 상수를 추가할 수 있습니다. 결과적으로 일관된 이론은 표준 자연수를 넘어서는 무한 원소를 포함하는 모델을 가집니다. 이러한 모델은 표준 모델과 정확히 동일한 1차 문장을 만족합니다.

스코렘의 역설은 무엇입니까?

하향 뢰벤하임-스코렘 정리는 집합론이 비가산 집합의 존재를 증명함에도 불구하고 집합론의 가산 모델을 제공합니다. 해결책은 비가산성이 모델에 상대적이라는 것입니다. 모델이 비가산이라고 간주하는 집합은 모델 내부에서는 자연수와의 전단사 함수가 없지만, 외부적으로는 존재합니다.