プール-エルとクリプキの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2010/06/02 00:59 UTC 版)
プール-エルとクリプキの定理(プール-エルとクリプキのていり)とは、マリアン・プール-エルとソール・クリプキによって1967年に証明された、創造的理論の間には演繹を保つ計算可能な同型写像が存在するという定理のことである。 この定理によれば、ペアノ算術とZFC集合論はいずれも同型である。
参考文献
- Marian Boykan Pour-El and Saul Kripke, Deduction-preserving "recursive isomorphisms" between theories, Fundamenta Mathematicae. 61 (1967) pp.141-163
- プール-エルとクリプキの定理のページへのリンク