Recursively enumerable set

Known as: CE, Partially decidable, Co-r.e. 
In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In this paper we study REβ , the lattice of the β-r.e. sets under inclusion, where β is an arbitrary limit ordinal. The `-finite… (More)
Is this relevant?
2010
2010
We extend the priority method in a-recursion theory to certain arguments with no a priori bound on the required preservations by… (More)
Is this relevant?
2010
2010
This paper presents some new theorems concerning recursively enumerable (r.e.) sets. The aim of the paper is to advance the… (More)
Is this relevant?
2010
2010
Introduction. These notes are based on E. L. Post's paper Recursively enumerable sets of positive integers and their decision… (More)
Is this relevant?
2010
2010
Introduction. We are concerned with non-negative integers (numbers), collections of numbers (sets) and collections of sets… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
TABLE OF CONTENTS Introduction Chapter I. The relation of the structure of an r.e. set to its degree. 1. Post's program and… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Introduction. Recent developments of symbolic logic have considerable importance for mathematics both with respect to its… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[i… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals… (More)
Is this relevant?
1979
1979
Charactenzattons of recurs~vely enumerable sets as mappings of equality and mtmmal sets are given An equality (minimal) set is… (More)
  • figure I
Is this relevant?