목차
도달 불가능한 기수
집합론에서, 도달 불가능한 기수(到達不可能한基數)는 그보다 작은 기수의 덧셈·곱셈·거듭제곱으로 나타낼 수 없는 기수이.
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
반복 강제법
집합론에서, 반복 강제법(反復強制法)은 강제법 모형의 구성을 초한 번 반복하는 과정이.
강제법
집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
특이 기수 가설
집합론에서, 특이 기수 가설(特異基數假說,, 약자 SCH)은 기수의 거듭제곱이 연속체 함수 \kappa\mapsto2^\kappa로부터 완전히 결정된다는 명제이.
정상 집합
집합론에서, 클럽 집합(club集合)은 주어진 순서수보다 작은 순서수들 가운데 "거의 대부분"을 포함하는 집합이며, 정상 집합(定常集合)은 주어진 순서수보다 작은 순서수들 가운데 "충분한 수"를 포함하여, 임의의 클럽 집합과 하나 이상의 원소를 공유하는 집합이.
윌리엄 휴 우딘
윌리엄 휴 우딘(1955~)은 미국의 수학자이.
손더스 매클레인
손더스 매클레인(1909–2005)은 미국의 수학자.
신탁 기계
신탁 기계(神託機械, oracle machine)는 판정 문제를 연구하는 데 사용하는 추상 기계로, 일반적인 튜링 기계에 '신탁'(神託, oracle)이라는 블랙박스를 붙여놓은 것이라고 생각할 수 있. 이때 신탁은 어떤 판정문제를 단 한번의 동작으로 풀 수 있는 장치이.