Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
完全順序集合の単一論理理論
完全順序集合の単一論理理論は決定可能である
完全順序集合(R, ≤)の単一論理理論は、Borel集合への量化を制限することで決定可能である。Fσ集合の Boolean組み合わせはBorel集合の初等的部分構造を形成する。
1