920 :132人目の素数さん:2014/09/25(木) 23:56:23.95 >>918 一流誌に近いのはJournal of Symbolic Logicとか Annals of Pure and Applied Logicとか Notre Dame Journal of Formal Logicとかになるのかなあ
モデルを真に拡大したいのだから新しく付け加える対象 g はMに属してはいけない。 付け加えたい対象 g の部分情報たちを含むposet P を考えて、 その部分情報を適切に貼り合わせることで (或いは、部分情報の一種の極限を考えることで) g を再構成する。 その張り合わせ方(或いは、"極限"の取り方)をコードしてるのがgeneric filter G。
この本では自然数の標準モデル N を前提する、とだけ断り書きする方がよほど潔い。 欲を言えば、算術の或るモデル N' があることを仮定する、 と書くのと比べて違うのはどういう点なのか、読むのは初学者なのだから、 きちんと明確に説明してくれていれば言う事は無いが (真面目に考えると案外non-trivialで面白い)。
2012年九月号のBSLに割と関連が深いかも知れない論文が載ってますね。 http://www.math.ucla.edu/~asl/bsl/1803-toc.htm Vaught's Theorem on Axiomatizability by a Scheme, by Albert Visser, pages 382 - 402. Visserって聞いたことあるなあと思ったらやっぱりinterpretability logicの研究者ですね。
>>264 「標数0」の部分で、∀x≠0, ∀x≠0 x + x ≠ 0, ∀x≠0 x + x + x ≠ 0, ∀x≠0 x + x + x + x ≠0, ......... , ∀x≠0 nx(xをn回足したもの)≠0 を全てのnについて公理とする、ただしnはメタな自然数、 という定義の仕方で、或る意味、純粋にobjectレベルではない 自然数の標準構造の情報が、若干、密輸入されてる感はありますよね。
Neil Tennantの本の当該部を見ると、そこらへんは substitutionによって得られる"normalな"axiom schemeを指すことにする、 と書いてありますから、彼は>>246式の定義を考えていると思います。 Tenannt式の定義では、schematically axiomatizableでない decidableな理論が存在する、ということで問題無いと思います。
>>270 Mathematical Logic J. Donald Monk に基本的なリストが掲載されていますが古いものです。 ただし課題2は60年代で解決済です、あとの研究は個別の論文をあたるしかないと思います リストみたいなものは見たことないです 決定可能集合論は割と新しい Set Theory for Computing (Monographs in Computer Science)
http://en.wikipedia.org/wiki/Decidability_%28logic%29#Some_undecidable_theories The first-order theory of groups, established by Alfred Tarski in 1953.[2] Remarkably, not only the general theory of groups is undecidable, but also several more specific theories, for example (as established by Mal'cev 1961) the theory of finite groups. Mal'cev also established that the theory of semigroups and the theory of rings are undecidable. Robinson established in 1949 that the theory of fields is undecidable.
EndertonのA Mathematical Introduction to Logicのtermの定義で疑問があります. p.74でtermの定義が, 「The set of terms is the set of expressions that can be built up from the constant symbols and variables by applying (zero or more times) the Ff operations.」 となっていますが,「the constant symbols and variables」の「and」は「or」の方が正しくないでしょうか.
>>436 なるほど,納得できました. と思ったら同じページに, 「The terms are defined to be those expressions that can be built up from the constant symbols and the variables by prefixing the function symbols.」 とも書いてありました. 謎ですね.
A formula is elementary if it is either an atomic formula or an instantiation. A truth valuation for T is a mapping from the set of elementary formulas in T to the set of truth values.