Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,392,045 papers from all fields of science
Search
Sign In
Create Free Account
Recursively enumerable set
Known as:
CE
, Partially decidable
, Co-r.e.
Expand
In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Algorithm
Alpha recursion theory
Arithmetical hierarchy
Arithmetical set
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
Series Recursively Enumerable Reals and Chaitin Numbers
Cristian S. Calude
,
Peter Hertling
,
B. Khoussainov
,
Yongge Wang
1997
Corpus ID: 9292716
A real is called recursively enumerable if it can be approximated by an increasing, recursive sequence of rationals. The halting…
Expand
1995
1995
Degree theoretic definitions of the low2 recursively enumerable sets
R. Downey
,
R. Shore
Journal of Symbolic Logic (JSL)
1995
Corpus ID: 1935774
The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is…
Expand
1986
1986
Lattice embeddings into the recursively enumerable degrees
K. Ambos-Spies
,
M. Lerman
Journal of Symbolic Logic (JSL)
1986
Corpus ID: 28902873
The classification of algebraic structures which can be embedded into ℛ, the uppersemilattice of recursively enumerable degrees…
Expand
1984
1984
Decidable subspaces and recursively enumerable subspaces
C. Ash
,
R. Downey
Journal of Symbolic Logic (JSL)
1984
Corpus ID: 29457008
Abstract A subspace V of an infinite dimensional fully effective vector space V∞ is called decidable if V is r.e. and there…
Expand
Highly Cited
1981
Highly Cited
1981
Recursive isomorphism types of recursive Boolean algebras
J. Remmel
Journal of Symbolic Logic (JSL)
1981
Corpus ID: 38825782
A Boolean algebra is recursive if B is a recursive subset of the natural numbers N and the operations ∧ (meet), ∨ (join), and…
Expand
Highly Cited
1979
Highly Cited
1979
A Purely Homomorphic Characterization of Recursively Enumerable Sets
K. Culík
JACM
1979
Corpus ID: 14760322
Charactenzattons of recurs~vely enumerable sets as mappings of equality and mtmmal sets are given An equality (minimal) set is…
Expand
Highly Cited
1974
Highly Cited
1974
Minimal pairs and high recursively enumerable degrees
S. Cooper
Journal of Symbolic Logic (JSL)
1974
Corpus ID: 41860549
A. H. Lachlan [2] and C. E. M. Yates [4] independently showed that minimal pairs of recursively enumerable (r.e.) degrees exist…
Expand
1972
1972
Characterization of recursively enumerable sets
J. Wright
Journal of Symbolic Logic (JSL)
1972
Corpus ID: 2686300
Abstract Let N, O and S denote the set of nonnegative integers, the graph of the constant 0 function and the graph of the…
Expand
1968
1968
COMPLETE RECURSIVELY ENUMERABLE SETS
A. Lachlan
1968
Corpus ID: 120165872
The main purpose of this paper is to improve upon the main theorem of Martin [2 ]. Martin gave a sufficient condition for a…
Expand
1953
1953
Two notes on recursively enumerable sets
J. Dekker
1953
Corpus ID: 18718381
Introduction. These notes are based on E. L. Post's paper Recursively enumerable sets of positive integers and their decision…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE