Geoffrey L. LaForte

From MaRDI portal
(Redirected from Person:1607304)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Equivalence structures and isomorphisms in the difference hierarchy
Journal of Symbolic Logic
2009-06-04Paper
Pseudojumps and Formula Classes
Journal Of Logic And Computation
2009-03-02Paper
Pseudojump Operators and $\Pi^0_1$ Classes
Lecture Notes in Computer Science
2007-11-13Paper
Isolation in the CEA hierarchy
Archive for Mathematical Logic
2005-03-02Paper
On Schnorr and computable randomness, martingales, and machines
MLQ
2005-02-16Paper
Decomposition and infima in the computably enumerable degrees
Journal of Symbolic Logic
2005-02-09Paper
Presentations of computably enumerable reals.
Theoretical Computer Science
2002-07-31Paper
A set with barely degree
Journal of Symbolic Logic
2000-12-17Paper
Relative enumerability in the difference hierarchy
Journal of Symbolic Logic
1999-04-27Paper
Why Gödel's theorem cannot refute computationalism
Artificial Intelligence
1999-01-12Paper
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
Mathematical Logic Quarterly
1997-01-13Paper


Research outcomes over time


This page was built for person: Geoffrey L. LaForte