RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS
RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS
Author(s): Jerzy MyckaSubject(s): Philosophy, Logic
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: order relations; recursive sets; non-recursive sets
Summary/Abstract: We will introduce the special kind of the order relations into recursively enumerable sets and prove that they can be used to distinguish (albeit in a non-constructive way) between recursive and non-recursive sets.
Journal: Reports on Mathematical Logic
- Issue Year: 2014
- Issue No: 49
- Page Range: 79-97
- Page Count: 19
- Language: English
