Computable Structures and the Hyperarithmetical Hierarchy(Studies in Logic and the Foundations of Mathematics Vol.144) H 366 p.
発行年月 |
2000年06月 |
|---|
|
出版国 |
オランダ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
366 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学基礎論 |
|---|
|
|
ISBN |
9780444500724 |
|---|
|
商品コード |
0200032014 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200032014 |
|---|
内容
Describes a program of research in computable structure theory. This bookaims to find definability conditions corresponding to bounds on complexitywhich persist under isomorphism. It includes necessary background materialfrom recursion theory and model theory.
