POUR-EL’S LANDSCAPE

IR (HANDLE) Open Access

Search this article

Description

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.

Journal

Keywords

Details 詳細情報について

  • CRID
    1050021990355510912
  • ISSN
    19435894
    10798986
  • HANDLE
    20.500.14094/0100493298
  • Text Lang
    en
  • Article Type
    journal article
  • Data Source
    • IRDB

Report a problem

Back to top