Key points are not available for this paper at this time.
이 논문은 비결정론적 부분집합론에 대한 체계적인 탐구이다. 문헌에서 제안된 동기와 응용이 고려된다. 일부는 보르헤스의 알레프와 삼위일체처럼 이국적이며, 다른 예시는 시간 여행하는 벽돌과 기치의 티블스 고양이처럼 덜 이국적이다. 저자들은 비결정론적 부분관계의 전이성이 외연성(syntonicity)과 일치하지 않음을 지적한다. 경쟁 개념인 보충과 융합에 대한 신중한 고려를 바탕으로 비결정론적 부분집합론이 개발된다. 두 개의 동등한 공리체계가 제시되며, 고전적 부분집합론과 비교된다. 비결정론적 부분집합론이 타당하고 완전한 모델 클래스가 제공된다.
Cotnoir 외 (금요일)는 이 질문을 연구했다.