RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS

Mycka, Jerzy

Journal

Reports on Mathematical Logic

2014 | 49 |

Article title

RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS

Authors

Jerzy Mycka

Content

Full texts:

Download

Title variants

Languages of publication

Abstracts

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

Publisher

[unknown2]

Journal

Reports on Mathematical Logic

Year

2014

Volume

Physical description

Dates

published

2014

online

07 - 07 - 2015

Contributors

author

Jerzy Mycka

References

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-issn-2084-2589-year-2014-volume-49-article-2921