Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
A real is called recursively enumerable if it can be approximated by an increasing, recursive sequence of rationals. The halting… 
1995
1995
The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is… 
1986
1986
The classification of algebraic structures which can be embedded into ℛ, the uppersemilattice of recursively enumerable degrees… 
1984
1984
Abstract A subspace V of an infinite dimensional fully effective vector space V∞ is called decidable if V is r.e. and there… 
Highly Cited
1981
Highly Cited
1981
A Boolean algebra is recursive if B is a recursive subset of the natural numbers N and the operations ∧ (meet), ∨ (join), and… 
Highly Cited
1979
Highly Cited
1979
Charactenzattons of recurs~vely enumerable sets as mappings of equality and mtmmal sets are given An equality (minimal) set is… 
Highly Cited
1974
Highly Cited
1974
A. H. Lachlan [2] and C. E. M. Yates [4] independently showed that minimal pairs of recursively enumerable (r.e.) degrees exist… 
1972
1972
Abstract Let N, O and S denote the set of nonnegative integers, the graph of the constant 0 function and the graph of the… 
1968
1968
The main purpose of this paper is to improve upon the main theorem of Martin [2 ]. Martin gave a sufficient condition for a… 
1953
1953
Introduction. These notes are based on E. L. Post's paper Recursively enumerable sets of positive integers and their decision…