목차
16 처지: 레비 붕괴, 마틴 공리, 반복 강제법, 강제 (동음이의), 강제법, 강하향 반사슬, 부분 정의 함수, 누적 위계, 나무 (집합론), 닫힌 원순서 집합, 포괄적 필터, 폴 코언, 이름 (강제법), 연속체 가설, 사하론 셸라흐, 선택 공리.
레비 붕괴
집합론에서, 레비 붕괴(לוי崩壞)는 강제법에서 특정한 두 기수 사이의 다른 기수들을 없애는 작용을 하는 부분 순서 집합이.
보다 강제법와 레비 붕괴
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
보다 강제법와 마틴 공리
반복 강제법
집합론에서, 반복 강제법(反復強制法)은 강제법 모형의 구성을 초한 번 반복하는 과정이.
보다 강제법와 반복 강제법
강제 (동음이의)
강제는 다음과 같은 뜻을 갖.
강제법
집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.
보다 강제법와 강제법
강하향 반사슬
순서론에서, 강하향 반사슬(強下向反사슬)은 서로 다른 두 원소가 공통된 하계를 갖지 않는, 원순서 집합의 반사슬이.
보다 강제법와 강하향 반사슬
부분 정의 함수
부분 정의 함수의 예 단사 부분 정의 함수의 예 수학에서, 부분 정의 함수(部分定義函數)는 정의역의 일부분에만 정의되는, 함수의 개념의 일반화이.
누적 위계
집합론에서, 누적 위계(累積位階)는 주어진 연산을 초한 점화식을 사용하여 초한 번 반복하여 구성되는 모임이.
보다 강제법와 누적 위계
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
닫힌 원순서 집합
순서론에서, 닫힌 원순서 집합(-原順序集合)이란 모든 사슬이 상계를 갖는 원순서 집합이.
포괄적 필터
순서론에서, 포괄적 필터(包括的filter)는 모든 공시작 집합과 겹치는 필터이.
보다 강제법와 포괄적 필터
폴 코언
조지프 코언(1934년 4월 2일 ~ 2007년 3월 23일)은 미국의 수학자이.
보다 강제법와 폴 코언
이름 (강제법)
집합론에서, 이름()은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이.
연속체 가설
집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.
보다 강제법와 연속체 가설
사하론 셸라흐
사하론 셸라흐(1945년 -)는 이스라엘의 수학자이.
보다 강제법와 사하론 셸라흐
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
보다 강제법와 선택 공리
또한 강제법 모형로 알려져 있다.