관계의 상대적 계산가능성과 균일 연속성

이 논문은 실수 구간 위의 다값 함수(관계)에 대해, 상대적(오라클 기반) 계산가능성의 위·아래 조건을 탐구한다. 기존에 정의된 약한 연속성과 강한 연속성을 검토한 뒤, 균일 연속성의 개념을 여러 방식으로 확장한다. 그 결과, Henkin 양화자를 이용한 새로운 “Henkin‑연속성”이 상대적 계산가능성에 필요함을 보이며, 이를 반복 적용한 계층이 ω 단계까지 필요·충분 조건을 제공함을 증명한다.

저자: Arno Pauly, Martin Ziegler