English

Things that can be made into themselves

Logic in Computer Science 2014-02-13 v4 Logic

Abstract

One says that a property PP of sets of natural numbers can be made into itself iff there is a numbering α0,α1,\alpha_0,\alpha_1,\ldots of all left-r.e. sets such that the index set {e:αe\{e: \alpha_e satisfies P}P\} has the property PP as well. For example, the property of being Martin-L\"of random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of the present work is the investigation of the structure of left-r.e. sets under inclusion modulo a finite set. In contrast to the corresponding structure for r.e. sets, which has only maximal but no minimal members, both minimal and maximal left-r.e. sets exist. Moreover, our construction of minimal and maximal left-r.e. sets greatly differs from Friedberg's classical construction of maximal r.e. sets. Finally, we investigate whether the properties of minimal and maximal left-r.e. sets can be made into themselves.

Cite

@article{arxiv.1208.0682,
  title  = {Things that can be made into themselves},
  author = {Frank Stephan and Jason Teutsch},
  journal= {arXiv preprint arXiv:1208.0682},
  year   = {2014}
}
R2 v1 2026-06-21T21:45:42.860Z