Degrees of unsolvability / Joseph R. Shoenfield

Public ISBD Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Joseph R. Shoenfield Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1971 Collection : Mathematics Studies num. 02 Importance : 111 p. ISBN/ISSN/EAN : 978-0-7204-2061-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities Mots-clés : degrees  mathematical logic Index. décimale : 03C Monographie Degrees of unsolvability [texte imprimé] / Joseph R. Shoenfield . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1971 . - 111 p.. - (Mathematics Studies; 02) . ISBN : 978-0-7204-2061-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities Mots-clés : degrees  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9217	03C83	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Degrees of unsolvability / Epstein, Richard L.

Public ISBD Titre : Degrees of unsolvability : structure and theory Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Springer-Verlag Année de publication : 1979 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 759 Importance : xiv - 240 p. ISBN/ISSN/EAN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM Degrees of unsolvability : structure and theory [texte imprimé] / Epstein, Richard L. . - [S.l.] : Springer-Verlag, 1979 . - xiv - 240 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 759) . ISBN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7615	LNM/759	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Initial segments of degrees below 0 / Epstein, Richard L.

Public ISBD Titre : Initial segments of degrees below 0 Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 241 Importance : vi - 102 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : first-order arithmetic  high degree  embedding results  non recursive recursively enumerable degree Index. décimale : Mem Initial segments of degrees below 0 [texte imprimé] / Epstein, Richard L. . - Providence, R.I. : American Mathematical Society, 1981 . - vi - 102 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 241) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : first-order arithmetic  high degree  embedding results  non recursive recursively enumerable degree Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15233	Mem/241	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Minimal degrees of unsolvability and the full approximation construction / Epstein, Richard L.

Public ISBD Titre : Minimal degrees of unsolvability and the full approximation construction Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1975 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 162 Importance : viii - 136 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities Mots-clés : mathematical logic  degrees Index. décimale : Mem Minimal degrees of unsolvability and the full approximation construction [texte imprimé] / Epstein, Richard L. . - Providence, R.I. : American Mathematical Society, 1975 . - viii - 136 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 162) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities Mots-clés : mathematical logic  degrees Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15326	Mem/162	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

The role of true finiteness in the admissible recursively enumerable degrees / Greenberg, Noam

Public ISBD Titre : The role of true finiteness in the admissible recursively enumerable degrees Type de document : texte imprimé Auteurs : Greenberg, Noam, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2006 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 854 Importance : vi, 99 p ISBN/ISSN/EAN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem The role of true finiteness in the admissible recursively enumerable degrees [texte imprimé] / Greenberg, Noam, Auteur . - Providence, R.I. : American Mathematical Society, 2006 . - vi, 99 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 854) . ISBN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19097	Mem/854	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1