Switch to: Citations

References in:

Reducibility orderings: Theories, definability and automorphisms

Anil Nerode & Richard A. Shore

Annals of Mathematical Logic 18 (1):61-89 (1980)

Add references

You must login to add references.

Some Consequences of the Axiom of Constructibility.J. W. Addison - 1963 - Journal of Symbolic Logic 28 (4):293-293.details Axioms of Set Theory in Philosophy of Mathematics Logic and Philosophy of Logic Direct download Export citation Bookmark 8 citations
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 101 citations
Degrees of unsolvability: structure and theory.Richard L. Epstein - 1979 - New York: Springer Verlag.details The contributions in the book examine the historical and contemporary manifestations of organized crime, the symbiotic relationship between legitimate and ... Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 5 citations
On initial segments of hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 1 citation
On Degrees of Recursive Unsolvability.Clifford Spector - 1957 - Journal of Symbolic Logic 22 (4):374-375.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 16 citations
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 44 citations
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Mathematical Logic Quarterly 14 (30):457-472.details Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 21 citations
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (30):457-472.details No categories Direct download Export citation Bookmark 21 citations
Countable initial segments of the degrees of unsolvability.A. H. Lachlan & R. Lebeuf - 1976 - Journal of Symbolic Logic 41 (2):289-300.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 8 citations
The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 13 citations
Double Jumps of Minimal Degrees.Carl G. Jockusch & David B. Posner - 1978 - Journal of Symbolic Logic 43 (4):715 - 724.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 19 citations
An application of Σ40 determinacy to the degrees of unsolvability.Carl G. Jockusch - 1973 - Journal of Symbolic Logic 38 (2):293-294.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 2 citations
A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.details Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 23 citations
A criterion for completeness of degrees of unsolvability.Richard Friedberg - 1957 - Journal of Symbolic Logic 22 (2):159-160.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 14 citations
The strong homogeneity conjecture.L. Feiner - 1970 - Journal of Symbolic Logic 35 (3):375-377.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 3 citations

1