Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My Custom Filters

Publication date

Text availability

Article attribute

Article type

Additional filters

Article Language

Species

Sex

Age

Other

Search Results

3 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Publication Date timeline is not available.
Page 1
Formalism and intuition in computability.
Soare RI. Soare RI. Philos Trans A Math Phys Eng Sci. 2012 Jul 28;370(1971):3277-304. doi: 10.1098/rsta.2011.0335. Philos Trans A Math Phys Eng Sci. 2012. PMID: 22711859
Algebraic aspects of the computably enumerable degrees.
Slaman TA, Soare RI. Slaman TA, et al. Among authors: soare ri. Proc Natl Acad Sci U S A. 1995 Jan 17;92(2):617-21. doi: 10.1073/pnas.92.2.617. Proc Natl Acad Sci U S A. 1995. PMID: 11607508 Free PMC article.
Post's program and incomplete recursively enumerable sets.
Harrington L, Soare RI. Harrington L, et al. Among authors: soare ri. Proc Natl Acad Sci U S A. 1991 Nov 15;88(22):10242-6. doi: 10.1073/pnas.88.22.10242. Proc Natl Acad Sci U S A. 1991. PMID: 11607241 Free PMC article.