Switch to: Citations

References in:

Recursion theory on orderings. I. a model theoretic setting

G. Metakides & J. B. Remmel

Journal of Symbolic Logic 44 (3):383-402 (1979)

Add references

You must login to add references.

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details Logic and Philosophy of Logic Direct download Export citation Bookmark 594 citations
Recursively enumerable Boolean algebras.J. B. Remmel - 1978 - Annals of Mathematical Logic 15 (1):75.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 18 citations
Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.details No categories Direct download Export citation Bookmark 38 citations
Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.details No categories Direct download Export citation Bookmark 37 citations
Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 60 citations
Classes of Recursively Enumerable Sets and Degrees of Unsolvability.Donald A. Martin - 1966 - Mathematical Logic Quarterly 12 (1):295-310.details Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 87 citations

1