POUR-EL’S LANDSCAPE
この論文をさがす
説明
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.
収録刊行物
-
- The Bulletin of Symbolic Logic
-
The Bulletin of Symbolic Logic 30 362-397, 2024-09
Cambridge University Press
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050021990355510912
-
- ISSN
- 19435894
- 10798986
-
- HANDLE
- 20.500.14094/0100493298
-
- 本文言語コード
- en
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB