- Tytuł:
- Recursively enumerable sets and well-ordering of their enumerations
- Autorzy:
- Mycka, Jerzy
- Powiązania:
- https://bibliotekanauki.pl/articles/1368639.pdf
- Data publikacji:
- 2014
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Opis:
- 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.
- Źródło:
-
Reports on Mathematical Logic; 2014, 49; 79-97
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł