02489nam 2200565 450 991048058030332120180731044136.01-4704-0644-6(CKB)3360000000464346(EBL)3113464(SSID)ssj0000973339(PQKBManifestationID)11527850(PQKBTitleCode)TC0000973339(PQKBWorkID)10959569(PQKB)11527574(MiAaPQ)EBC3113464(PPN)195410459(EXLCZ)99336000000046434620750625h19751975 uy| 0engur|n|---|||||txtccrMinimal degrees of unsolvability and the full approximation construction /Richard L. EpsteinProvidence :American Mathematical Society,[1975]©19751 online resource (147 p.)Memoirs of the American Mathematical Society ;volume 3, issue 1, number 162 (September 1975)Originally presented as the author's thesis, University of California, Berkeley.0-8218-1862-7 Includes bibliographical references and index.""TABLE OF CONTENTS""; ""ACKNOWLEDGEMENTS""; ""INTRODUCTION""; ""CHAPTER I: A MINIMAL DEGREE""; ""Functionals and Trees""; ""Splitting Trees and Computation Lemmas""; ""A Minimal Degree""; ""CHAPTER II: A MINIMAL DEGREE m < 0'""; ""Motivation""; ""Boundary Strings and Dummy Extensions""; ""Construction of m < 0'""; ""Proof""; ""T*[sub(e)]""; ""CHAPTER III: A MINIMAL DEGREE such that m' = 0'""; ""Motivation""; ""Construction of m = 0'""; ""Proof""; ""CHAPTER IV: MINIMAL DEGREES AND THE JUMP OPERATOR""; ""Motivation""; ""Further Topics and Remarks""; ""CHAPTER V: A MINIMAL DEGREE m < a r.e.""Memoirs of the American Mathematical Society ;number 162.Unsolvability (Mathematical logic)Recursive functionsConstructive mathematicsElectronic books.Unsolvability (Mathematical logic)Recursive functions.Constructive mathematics.511/.3Epstein Richard L.1947-46609MiAaPQMiAaPQMiAaPQBOOK9910480580303321Minimal degrees of unsolvability and the full approximation construction1911876UNINA01989oam 2200493zu 450 991037583530332120210807001933.0(CKB)3170000000002076(SSID)ssj0001138738(PQKBManifestationID)11775415(PQKBTitleCode)TC0001138738(PQKBWorkID)11170457(PQKB)11428303(WaSeSS)IndRDA00014426(Association for Computing Machinery)10.1145/543613(EXLCZ)99317000000000207620160829d2002 uy engur|||||||||||txtccrProceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems[Place of publication not identified]ACM20021 online resource (311 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-58113-507-6 ACM ConferencesProceedings of the twenty-first Association for Computing Machinery Special Interest Group on Management of Data-Special Interest Group on Algorithms and Computation Theory-Special Interest Group on Artificial Intelligence Symposium on Principles of Database SystemsSIGMOD/PODS '02 International Conference on Management of Data and Symposium on Principles Database and Systems, Madison, WI, USA - June 02 - 06, 2002Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceAbiteboul S(Serge)315264Popa LucianAbiteboul SACM Digital Library.PQKBBOOK9910375835303321Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems1955322UNINA