Gerald E. Sacks. On a theorem of Lachlan and Martin. Proceedings of the American Mathematical Society, vol. 18 , pp. 140–141

C. E. M. Yates

doi:10.2307/2270205

Gerald E. Sacks. On a theorem of Lachlan and Martin. Proceedings of the American Mathematical Society, vol. 18 , pp. 140–141 [Book Review]

Journal of Symbolic Logic 32 (4):529 (1968)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2270205
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,316

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A. H. Lachlan. On a Problem of G. E. Sacks. Proceedings of the American Mathematical Society, Vol. 16 , Pp. 972–979.Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (1):125.

Gerald E. Sacks. Metarecursively Enumerable Sets and Admissible Ordinals. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 59–64. - Gerald E. Sacks. Post's Problem, Admissible Ordinals, and Regularity. Transactions of the American Mathematical Society, Vol. 124 , Pp. 1–23. - Gerald E. Sacks. Metarecursion Theory. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 243–263. - Graham C. DriscollJr., Metarecursively Enumerable Sets and Their Metadegrees. The Journal of Symbolic Logic, Vol. 33 , Pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.

Sacks Gerald E.. Forcing with Perfect Closed Sets. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 1, American Mathematical Society, Providence, Rhode Island, 1971, Pp. 331–355. [REVIEW]J. R. Shoenfield - 1974 - Journal of Symbolic Logic 39 (2):330-330.

Shoenfield J. R.. On Degrees of Unsolvability. Annals of Mathematics, Second Series, Vol. 69 , Pp. 644–653.Shoenfield J. R.. An Uncountable Set of Incomparable Degrees. Proceedings of the American Mathematical Society, Vol. 11 , Pp. 61–62. [REVIEW]Gerald E. Sacks - 1964 - Journal of Symbolic Logic 29 (4):203-204.

Jump Theorems for REA Operators.Alistair H. Lachlan & Xiaoding Yi - 1993 - Mathematical Logic Quarterly 39 (1):1-6.

Gerald E. Sacks. A Minimal Degree Less Than O'. Bulletin of the American Mathematical Society, Vol. 67 , Pp. 416–419.Robert W. Robinson - 1969 - Journal of Symbolic Logic 34 (2):295.

Halpern J. D. And Läuchli H.. A Partition Theorem. Transactions of the American Mathematical Society, Vol. 124 , Pp. 360–367.Halpern J. D. And Lévy A.. The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 1, American Mathematical Society, Providence, Rhode Island, 1971, Pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.

Young Paul R.. An Effective Operator, Continuous but Not Partial Recursive. Proceedings of the American Mathematical Society, Vol. 19 , Pp. 103–108. [REVIEW]A. H. Lachlan - 1970 - Journal of Symbolic Logic 35 (3):477-478.

Topological Framework for Finite Injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.

Review: A. H. Lachlan, The Impossibility of Finding Relative Complements for Recursively Enumerable Degrees. [REVIEW]Gerald E. Sacks - 1971 - Journal of Symbolic Logic 36 (3):539-540.

Laszlo Fuchs and Saharon Shelah. Kaplansky's Problem on Valuation Rings. Proceedings of the American Mathematical Society, Vol. 105 , Pp. 25–30. - Paul C. Eklof. A Transfer Theorem for Nonstandard Uniserials. Proceedings of the American Mathematical Society, Vol. 114 , Pp. 593–600. - Paul C. Eklof and Saharon Shelah. On a Conjecture Regarding Nonstandard Uniserial Modules. Transactions of the American Mathematical Society, Vol. 340 , Pp. 337–351. - P. C. Eklof and S. Shelah. Explicitly Non-Standard Uniserial Modules. Journal of Pure and Applied Algebra, Vol. 86 , Pp. 35–50. [REVIEW]Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-443.

Saharon Shelah. Middle Diamond. Archive for Mathematical Logic, Vol. 44 , Pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, Vol. 138 , No. 6, Pp. 2151–2161. - Martin Zeman. Diamond, GCH and Weak Square. Proceedings of the American Mathematical Society, Vol. 138 , No. 5, Pp. 1853–1859. [REVIEW]Assaf Rinot - 2010 - Bulletin of Symbolic Logic 16 (3):420-423.

Robinson J. A.. A Review of Automatic Theorem-Proving. Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics, Vol. 19, American Mathematical Society, Providence 1967, Pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.

Robert W. Robinson. Simplicity of Recursively Enumerable Sets.The Journal of Symbolic Logic, Vol. 32 , Pp. 162–172. - Robert W. Robinson. Two Theorems on Hyperhypersimple Sets. Transactions of the American Mathematical Society, Vol. 128 , Pp. 531–538. - A. H. Lachlan. On the Lattice of Recursively Enumerable Sets.Transactions of the American Mathematical Society, Vol. 130 , Pp. 1–37. - A. H. Lachlan. The Elementary Theory of Recursively Enumerable Sets. Duke Mathematical Journal, Vol. 35 , Pp. 123–146. [REVIEW]James C. Owings - 1970 - Journal of Symbolic Logic 35 (1):153-155.

David Hilbert. Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900. A Reprint of 1084 . Mathematical Developments Arising From Hilbert Problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Held at Northern Illinois University, De Kalb, Illinois, May 1974, Edited by Felix E. Browder, Proceedings of Symposia in Pure Mathematics, Vol. 28, American Mathematical Society, Providence1976, Pp. 1–34. - Donald A. Martin. Hilbert's First Problem: The Continuum Hypothesis. A Reprint of 1084 . Mathematical Developments Arising From Hilbert Problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Held at Northern Illinois University, De Kalb, Illinois, May 1974, Edited by Felix E. Browder, Proceedings of Symposia in Pure Mathematics, Vol. 28, American Mathematical Society, Providence1976, Pp. 81–92. - G. Kreisel. What Have We Learnt From Hilbert's Second Proble. [REVIEW]C. Smoryński - 1979 - Journal of Symbolic Logic 44 (1):116-119.

Analytics

Added to PP index
2013-11-22

Total views
11 ( #855,818 of 2,519,513 )

Recent downloads (6 months)
5 ( #137,544 of 2,519,513 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.