English
Publications
Japanese
プロフィール
論文・著書
学会等発表
研究活動の履歴
数学ノート
English
Japanese
Taishi Kurahashi
Japanese
Aspects of Incompleteness 問題解答
Per Lindström, Aspects of Incompleteness 2nd edition 問題解答集
CHAPTER 2. INCOmpleteness
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
CHAPTER 3. NUmerations of r.e. sets
1
2
3
4
5
6
7
CHAPTER 4. axiomatizations
1
2
3
4
5
6
7
8
9
10
CHAPTER 5. partial conservativity
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
CHapter 6. interpretability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
chapter 7. degrees of interpretability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
閉じる