2007-11-16から1日間の記事一覧
Exercise 1.1 p.6 Σ-structuresの具体例を、先のstructuresの4つのうちのΣ-structuresをのぞく最初の3つに対応づける問題。 1. , with . 一番目の例、Peano Structuresに相当する。syntaxは、先のΣ-structuresの定義では、 しかないので、 。 具体的には、m…
Exercise 1.1 p.6 Σ-structuresの具体例を、先のstructuresの4つのうちのΣ-structuresをのぞく最初の3つに対応づける問題。 1. , with . 一番目の例、Peano Structuresに相当する。syntaxは、先のΣ-structuresの定義では、 しかないので、 。 具体的には、m…