집합론

• 포화된 구조와 실수체의 완전성
• η 집합
• 정칙 기수와 특이 기수, 그리고 도달 불가능 기수
• 연속체 가설과 동치인 색칠 문제
• 기수의 정의에 관한 노트
• V = L 공리의 무모순성
• 초한귀납과 초한재귀
• 정렬의 삼분성과 서수의 완전성
• 유리수와 실수의 집합론적 정의
• 칸토어-슈뢰더-베른슈타인 정리
• ZFC 공리의 목록