An incompleteness result for paths through or within O

Albert Visser

doi:10.1016/1385-7258(81)90153-0

An incompleteness result for paths through or within O

Albert Visser^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

In this paper an incompleteness result for paths through or within O and related structures will be proved. A consequence of this result will be that no complete Π₁⁰ set is partially many-one reducible to any path through or within O. For enumeration reducibility a weak kind of incompleteness is obtained.

Original language	English
Pages (from-to)	237-243
Number of pages	7
Journal	Indagationes Mathematicae (Proceedings)
Volume	84
Issue number	2
DOIs	https://doi.org/10.1016/1385-7258(81)90153-0
Publication status	Published - 1981

Access to Document

10.1016/1385-7258(81)90153-0

Cite this

@article{8a78319c6fd84e6daae094ee1a73d08d,

title = "An incompleteness result for paths through or within O",

abstract = "In this paper an incompleteness result for paths through or within O and related structures will be proved. A consequence of this result will be that no complete Π10 set is partially many-one reducible to any path through or within O. For enumeration reducibility a weak kind of incompleteness is obtained.",

author = "Albert Visser",

year = "1981",

doi = "10.1016/1385-7258(81)90153-0",

language = "English",

volume = "84",

pages = "237--243",

journal = "Indagationes Mathematicae (Proceedings)",

issn = "1385-7258",

number = "2",

}

TY - JOUR

T1 - An incompleteness result for paths through or within O

AU - Visser, Albert

PY - 1981

Y1 - 1981

N2 - In this paper an incompleteness result for paths through or within O and related structures will be proved. A consequence of this result will be that no complete Π10 set is partially many-one reducible to any path through or within O. For enumeration reducibility a weak kind of incompleteness is obtained.

AB - In this paper an incompleteness result for paths through or within O and related structures will be proved. A consequence of this result will be that no complete Π10 set is partially many-one reducible to any path through or within O. For enumeration reducibility a weak kind of incompleteness is obtained.

UR - https://www.scopus.com/pages/publications/49149135274

U2 - 10.1016/1385-7258(81)90153-0

DO - 10.1016/1385-7258(81)90153-0

M3 - Article

AN - SCOPUS:49149135274

SN - 1385-7258

VL - 84

SP - 237

EP - 243

JO - Indagationes Mathematicae (Proceedings)

JF - Indagationes Mathematicae (Proceedings)

IS - 2

ER -

An incompleteness result for paths through or within O

Abstract

Access to Document

Other files and links

Fingerprint

Cite this