공해성
Cointerpretability수학적 논리학에서 공해석성은 형식 이론에 대한 이항 관계다: 형식 이론 T는 또 다른 그러한 이론 S에서 공해할 수 있는데, 이때 S의 언어는 S가 T의 정리인 모든 공식을 증명하는 방식으로 T의 언어로 번역될 수 있다.수식의 논리적 구조를 보존하기 위해서는 여기서의 "번역"이 필요하다.
이 개념은 해석성에대한 이중적인 의미에서 Japaridze(1993년)harvtxt 오류:노 타깃:CATEREFJaparidze1993(도움말)에 의해 도입되었으며, 페아노 산술 이론과 효과적인 공리화가 있는 더 강한 이론의 경우,공동 해석성은 σ 1{\displaysty 시그마 즉{1}에 해당한다는것을 증명하기도 했다.
참고 항목
참조
- Japaridze (Dzhaparidze), Giorgi (Giorgie) (1993), "A generalized notion of weak interpretability and the corresponding modal logic", Annals of Pure and Applied Logic, 61 (1–2): 113–160, doi:10.1016/0168-0072(93)90201-N, MR 1218658.
- Japaridze, Giorgi; de Jongh, Dick (1998), "The logic of provability", in Buss, Samuel R. (ed.), Handbook of Proof Theory, Studies in Logic and the Foundations of Mathematics, vol. 137, Amsterdam: North-Holland, pp. 475–546, doi:10.1016/S0049-237X(98)80022-0, MR 1640331.
