실수 순서의 보렐 단일 이론은 결정가능하다

실수 순서의 보렐 집합에 대한 단일 이론은 결정가능하다. 또한 Fσ-집합의 불리언 조합은 보렐 집합의 원소 구조를 형성한다.