수학

• 스톤 공간과 콤팩트성 정리
• 양화사 제거
• 포화된 구조와 실수체의 완전성
• η 집합
• 로빈슨, 크레이그, 베스의 정리
• 정칙 기수와 특이 기수, 그리고 도달 불가능 기수
• 준동형 사상, 임베딩, 초등적 임베딩
• 연속체 가설과 동치인 색칠 문제
• 기수의 정의에 관한 노트
• 무한 죄수 모자 문제
• 워시-타르스키 보존 정리
• 완전성 정리와 뢰벤하임-스콜렘 정리
• 자이페르트-판 캄펀 정리에 대한 노트
• 범주론적 관점에서의 곱 위상·상자 위상과 직곱·직합의 차이
• 양상 논리
• 요네다 보조정리
• 텐서곱에 관한 노트
• 르베그 가측 집합과 보렐 가측 집합
• 카라테오도리 정리를 이용한 측도의 구성
• 대수와 측도의 정의
• 램지 수와 무한 램지 정리
• 어드조인트, 정규 변환, 그리고 스펙트럼 정리
• 어드조인트에 대한 세 가지 접근
• 정신은 기계로 환원될 수 있는가: 괴델의 조건문과 펜로즈-루카스 논증
• 산술 위계
• 곱군과 위수에 관한 노트: 페르마 소수 정리와 윌슨의 정리
• 베타 함수를 통한 페아노 산술에서의 괴델 수 정의
• 워시의 정리
• 프레셰 필터와 비표준 자연수
• 대각선 논법 없이 실수의 비가산성 증명하기
• 칸토어-벤딕슨 정리
• 어드조인트에 대한 직관적 이해
• V = L 공리의 무모순성
• 초한귀납과 초한재귀
• 콤팩트성과 그물
• 베르 범주 정리
• 정렬의 삼분성과 서수의 완전성
• 유리수와 실수의 집합론적 정의
• 칸토어-슈뢰더-베른슈타인 정리
• ZFC 공리의 목록