1998年
On a theory for AC(0) and the strength of the induction scheme
MATHEMATICAL LOGIC QUARTERLY
- 巻
- 44
- 号
- 3
- 開始ページ
- 417
- 終了ページ
- 426
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- 出版者・発行元
- WILEY-V C H VERLAG GMBH
We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC(0). We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.
- リンク情報
- ID情報
-
- ISSN : 0942-5616
- Web of Science ID : WOS:000075825400011