Key points are not available for this paper at this time.
Dedekind와 Zermelo의 고전적 결과에 의해, 2차 논리는 Peano 산술과 Zermelo-Fraenkel 집합론에 범주적 특성을 부여합니다. 그러나 Skolem의 반범주성 정리 이후, Peano 산술과 Zermelo-Fraenkel 집합론(즉, PA 및 ZF)의 1차 형식이 범주적이지 않다는 것을 알고 있습니다. 여기에서 우리는 PA와 ZF를 포함하는 특별한 1차 이론의 클래스가 나타내는 다양한 범주성과 유사한 특성(타이트성, 견고성 및 내부 범주성 포함)을 조사하여, 정형적 기본 1차 이론에 대해 특별한 점이 무엇인지 이해하는 것을 목표로 합니다.
Enayat et al. (화요일)이 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: