|
Subsystems of Second Order Arithmetic.(Perspectives in Mathematical Logic) hardcover 444 p.
Simpson, S.G.
著
発行年月 |
1998年01月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
444 p. |
|---|
|
|
ジャンル |
洋書 |
|---|
|
|
ISBN |
9783540648826 |
|---|
|
商品コード |
0209846586 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209846586 |
|---|
内容
This volume attempts to demonstrate that many familiar theorems ofalgebra, analysis, functional analysis, and combinatorics are logicallyequivalent to the axioms needed to prove them (reverse mathematics). Alsoprovided is a study of models of subsystems based on this second orderarithmetic.
