Last ned Linnk AI
•
Forskningsassistent
>
Logg Inn
innsikt
-
完全順序集合の単一論理理論
完全順序集合の単一論理理論は決定可能である
完全順序集合(R, ≤)の単一論理理論は、Borel集合への量化を制限することで決定可能である。Fσ集合の Boolean組み合わせはBorel集合の初等的部分構造を形成する。
1