바와이즈 콤팩트 정리

수학 논리학에서, 존 바와이즈의 이름을 딴 바와이즈 콤팩트 정리(Barwise compactity organization)는, 1차 로직을 위한 통상적인 컴팩트 정리(compactity organization)를 특정 종류의 비위생적인 언어에 일반화한 것이다.그것은 1967년에 바와이즈에 의해 진술되고 증명되었다.

성명서

$A{\displaystyle }$ ${\displaystyle A}$을(를) 카운트할 수 있는 허용 집합으로 설정하십시오.$L{\displaystyle }$ ${\displaystyle$ $L$$}$을(를) $A{\displaystyle }$ ${\displaystyle$ A$}-$완료$$ 관계 언어로 설정하십시오$$.Suppose ${\displaystyle \Gamma }$ is a set of ${\displaystyle L_{A}}$-sentences, where ${\displaystyle \Gamma }$ is a ${\displaystyle \Sigma _{1}}$ set with parameters from ${\displaystyle A}$, and every ${\displaystyle A}$-finite subset of ${\displaystyle \Gamma }$ is satisfiable그렇다면 $\gamma {\displaystyle \mathrm{}}$ ${\displaystyle \Gamma}$은(는) 만족스러운 것이다$$.

참조

• Barwise, J. (1967). Infinitary Logic and Admissible Sets (PhD). Stanford University.
• Ash, C. J.; Knight, J. (2000). Computable Structures and the Hyperarithmetic Hierarchy. Elsevier. ISBN 0-444-50072-3.
• Barwise, Jon; Feferman, Solomon; Baldwin, John T. (1985). Model-theoretic logics. Springer-Verlag. p. 295. ISBN 3-540-90936-2.

외부 링크

• 스탠포드 철학 백과사전: "인피니터리 논리", 섹션 5, "L(Ω1,Ω)의 하위 언어 및 바와이즈 콤팩트 정리"

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t