RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS

• Authors: Jerzy Mycka
• Languages of publication: PL

Abstracts

PL

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.

Keywords

PL

 

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2014
• Volume: 49

Dates

published

2014

online

07 - 07 - 2015

Contributors

author

Jerzy Mycka