연속 논리와 위리소프 공간에서 본 가분리 거리 구조의 일반성
본 논문은 연속 1차 논리를 이용해 가분리 거리 구조들의 모델 이론적 일반성(존재적으로 닫힌 모델)과 위리소프 공간에서의 위베르스트(극대밀도 Gδ) 및 확률적(측도 1) 일반성을 연결한다. 이를 통해 우리소프 공간이 위리소프와 확률론적 의미에서 “무작위”이며 “일반적인” 구조임을 새로운 모델 이론적 시각으로 재해석한다.
저자: Alex, er Usvyatsov
본 논문은 가분리 거리 구조에 대한 세 가지 일반성 개념—모델 이론적 일반성(존재적으로 닫힌 모델), 위베르스트(극대밀도 Gδ) 일반성, 그리고 측도(확률) 일반성—을 체계적으로 비교·연결한다. 이를 위해 먼저 연속 1차 논리의 기본 설정을 소개한다. 연속 언어 τ는 함수·술어 기호와 연속성 모듈을 포함하며, 해석은 완비 거리 d와
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기