神戸大学附属図書館デジタルアーカイブ
https://hdl.handle.net/20.500.14094/0100493298

このアイテムのアクセス数:48件（2025-07-23 08:19 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
0100493298 (fulltext) pdf 435 KB 18

メタデータ

ファイル出力

メタデータID
0100493298
アクセス権
open access
出版タイプ
Version of Record
タイトル
POUR-EL’S LANDSCAPE
著者
著者ID
A2869
研究者ID
1000010738446
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail.html?systemId=2c9eb67d37c54bf2520e17560c007669
著者名
Kurahashi, Taishi
倉橋, 太志
クラハシ, タイシ
所属機関名
システム情報学研究科
著者名
Visser, Albert
言語
English (英語)
収録物名
The Bulletin of Symbolic Logic
巻(号)
30
ページ
362-397
出版者
Cambridge University Press
刊行日
2024-09
公開日
2025-03-04
抄録
We study the effective versions of several notions related to incompleteness, undecidability, and inseparability along the lines of Pour-El’s insights. Firstly, we strengthen Pour-El’s theorem on the equivalence between effective essential incompleteness and effective inseparability. Secondly, we compare the notions obtained by restricting that of effective essential incompleteness to intensional finite extensions and extensional finite extensions. Finally, we study the combination of effectiveness and hereditariness, and prove an adapted version of Pour-El’s result for this combination.
キーワード
effective inseparability
essential incompleteness
essential undecidability
カテゴリ
システム情報学研究科
学術雑誌論文
権利
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
CC license
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence, which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
関連情報
DOI
https://doi.org/10.1017/bsl.2024.26