6 처지: 레비 붕괴, 마틴 공리, 강제법, 부분 정의 함수, 나무 (집합론), 이름 (강제법).
레비 붕괴
집합론에서, 레비 붕괴(לוי崩壞)는 강제법에서 특정한 두 기수 사이의 다른 기수들을 없애는 작용을 하는 부분 순서 집합이.
새로운!!: 강하향 반사슬와 레비 붕괴 · 더보기 »
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
새로운!!: 강하향 반사슬와 마틴 공리 · 더보기 »
강제법
집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.
새로운!!: 강하향 반사슬와 강제법 · 더보기 »
부분 정의 함수
부분 정의 함수의 예 단사 부분 정의 함수의 예 수학에서, 부분 정의 함수(部分定義函數)는 정의역의 일부분에만 정의되는, 함수의 개념의 일반화이.
새로운!!: 강하향 반사슬와 부분 정의 함수 · 더보기 »
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
새로운!!: 강하향 반사슬와 나무 (집합론) · 더보기 »
이름 (강제법)
집합론에서, 이름()은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이.
새로운!!: 강하향 반사슬와 이름 (강제법) · 더보기 »
여기로 리디렉션합니다
강상향 반사슬, 강상향 반사슬 조건, 가산 강상향 반사슬 조건, 가산 강하향 반사슬 조건, 가산 반사슬 조건.