ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัย
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
完全順序集合の単一論理理論
完全順序集合の単一論理理論は決定可能である
完全順序集合(R, ≤)の単一論理理論は、Borel集合への量化を制限することで決定可能である。Fσ集合の Boolean組み合わせはBorel集合の初等的部分構造を形成する。
1