下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
完全順序集合の単一論理理論
完全順序集合の単一論理理論は決定可能である
完全順序集合(R, ≤)の単一論理理論は、Borel集合への量化を制限することで決定可能である。Fσ集合の Boolean組み合わせはBorel集合の初等的部分構造を形成する。
1