적절한 포인트 클래스
Adequate pointclass서술 집합 이론의 수학적 분야에서는 점 클래스가 모든 재귀 점 집합을 포함하고 재귀적 대체, 경계 보편적 및 실존적 정량화, 재귀적 함수에 의한 사전 이미지로 닫힌다면 적절한 것으로 부를 수 있다.[1][2]
참조
- ^ Moschovakis, Y. N. (1987), Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics, Elsevier, p. 158, ISBN 9780080963198.
- ^ Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (2012), Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, vol. 6, Elsevier, p. 465, ISBN 9780080930664.
