数理論理学において、真の算術 (: true arithmetic) とは一階ペアノ算術言語における自然数理論 Th() のことである[1]タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。

定義

編集

ペアノ算術シグネチャには加法、乗法および後者関数の関数記号、「等しい」と「より小さい」の関係記号、および0の定数記号が含まれる。このシグネチャにおける論理式は一階述語論理の通常のやり方で構築される。一階述語論理の言語はこのシグネチャにおけるすべての論理式からなる。

構造   はペアノ算術のモデルであり、以下のように定義される:

  • 議論領域は自然数の集合   である。
  • 記号0は数0と解釈される。
  • 関数記号は   上での通常の算術演算と解釈される。
  • 「等しい」と「より小さい」の関係記号は   上での通常の等値および順序関係と解釈される。

この構造は一階算術の標準モデルもしくは意図した解釈として知られる。

一階算術の言語におけるは、いま定義した構造において真であるとき   において真であるという。表記法   は、文 φ が   において真であることを示すために使われる。

真の算術は一階算術の言語における文のうち   において真であるものすべての集合 Th( ) である。この集合は構造   の (完全な) 理論と同値である[2]


算術の定義不可能性

編集

真の算術での中心的な結果は、アルフレト・タルスキ (1936) の定義不可能性定理である。この定理は集合 Th( ) が算術的に定義可能でないと述べる。これは一階算術のシグネチャに以下のような「万能論理式」   が存在しないという意味である: このシグネチャにおける任意の文   に対して、

  if and only if  

ここで   は文   の正規ゲーデル数の数字である。

ポストの定理は定義不可能性定理のよりシャープなバージョンであり、算術的階層を使って Th( ) の定義可能性とチューリング次数の間の関係を示す。自然数 n ごとに、算術的階層における   以下の文のみからなる Th( ) の部分集合を Thn( ) とする。ポストの定理によって、n ごとに、Thn( ) は算術的に定義可能であるが、  より複雑性が高い論理式によってのみ可能であることが示される。したがって単一の論理式で Th( ) を定義することはできない。なぜならば

 

だが、いかなる単一の論理式も任意の大きな n に対して Thn( ) を定義できないからである。

計算可能性の性質

編集

上記で論じたように、タルスキの定理によれば Th( ) は算術的に定義不可能である。ポストの定理の系によって Th( )チューリング次数0ω となり、そのため Th( )決定可能でも帰納的可算でもない。

Th( )半順序のシグネチャにおいて、帰納的可算チューリング次数の理論 Th( ) と密接な関係がある[3]。とくに、以下のような S および T が存在する:

  • 一階算術のシグネチャにおけるそれぞれの文 φ について、S(φ) が Th( ) に属するとき、かつそのときに限り φ は Th( ) に属する。
  • 半順序のシグネチャにおけるそれぞれの文 ψ について、T(ψ) が Th( ) に属するとき、かつそのときに限り ψ は Th( ) に属する。

モデル理論的性質

編集

真の算術は不安定な理論であり、そのため非可算濃度   ごとに   個のモデルを持つ。この理論は完全なので、そのすべてのモデルは初等的同値である。

二階算術の真の理論

編集

二階算術の真の理論は二階算術の言語において二階算術の標準モデルによって充足されるすべての文からなる。二階算術の標準モデルはその一階部分が構造   であり、その二階部分が   のすべての部分集合からなる。

一階算術の真の理論 Th( ) は二階算術の真の理論の部分集合であり、Th( ) は二階算術で定義可能である。しかし、ポストの定理の解析的階層への一般化により、二階算術の真の理論は二階算術のいかなる単一の論理式によっても定義可能でないことが示される。

Simpson (1977) は二階算術の真の理論は、半順序のシグネチャにおいて、すべてのチューリング次数の半順序の理論と計算可能な解釈が可能であり、その逆も成り立つことを示した。

脚注

編集

参考文献

編集
  • Boolos, George; Burgess, John P.; Jeffrey, Richard C. (2002), Computability and logic (4th ed.), Cambridge University Press, ISBN 978-0-521-00758-0 .
  • Bovykin, Andrey; Kaye, Richard (2001), “On order-types of models of arithmetic”, in Zhang, Yi, Logic and algebra, Contemporary Mathematics, 302, American Mathematical Society, pp. 275–285, ISBN 978-0-8218-2984-4 .
  • Shore, Richard (2011), “The recursively enumerable degrees”, in Griffor, Edward R., Handbook of Computability Theory, Studies in Logic and the Foundations of Mathematics, 140, North-Holland, 1999, pp. 169–197, ISBN 978-0-444-54701-9 .
  • Simpson, Stephen G. (1977), “First-order theory of the degrees of recursive unsolvability”, Annals of Mathematics. Second Series (Annals of Mathematics) 105 (1): 121–139, doi:10.2307/1971028, ISSN 0003-486X, MR0432435, http://jstor.org/stable/1971028 
  • Tarksi, Alfred (1936), "Der Wahrheitsbegriff in den formalisierten Sprachen". An English translation "The Concept of Truth in Formalized Languages" appears in Corcoran, J., ed. (1983), Logic, Semantics and Metamathematics: Papers from 1923 to 1938 (2nd ed.), Hackett Publishing Company, Inc., ISBN 978-0-915144-75-4 

外部リンク

編集