Degrees of Unsolvability: Local and Global Theory: Perspectives in Logic, cartea 11
Autor Manuel Lermanen Limba Engleză Hardback – 5 apr 2017
Din seria Perspectives in Logic
-
Preț: 435.53 lei - 11%
Preț: 623.56 lei - 11%
Preț: 561.78 lei - 14%
Preț: 908.18 lei - 14%
Preț: 1038.65 lei - 14%
Preț: 789.55 lei - 20%
Preț: 802.41 lei - 20%
Preț: 803.35 lei - 14%
Preț: 1035.95 lei - 20%
Preț: 933.82 lei - 14%
Preț: 911.64 lei - 14%
Preț: 941.38 lei - 14%
Preț: 914.04 lei - 14%
Preț: 1460.11 lei - 14%
Preț: 1037.67 lei
Preț: 810.80 lei
Preț vechi: 942.79 lei
-14%
Puncte Express: 1216
Carte tipărită la comandă
Livrare economică 08-22 iunie
Specificații
ISBN-13: 9781107168138
ISBN-10: 1107168139
Pagini: 321
Ilustrații: 42 b/w illus.
Dimensiuni: 165 x 242 x 25 mm
Greutate: 0.67 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
ISBN-10: 1107168139
Pagini: 321
Ilustrații: 42 b/w illus.
Dimensiuni: 165 x 242 x 25 mm
Greutate: 0.67 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
Cuprins
Introduction; Part I. The Structure of the Degrees: 1. Recursive functions; 2. Embeddings and extensions of embeddings in the degrees; 3. The jump operator; 4. High/low hierarchies; Part II. Countable Ideals of Degrees: 5. Minimal degrees; 6. Finite distributive lattices; 7. Finite lattices; 8. Countable usls; Part III. Initial Segments ofD and the Jump Operator: 9. Minimal degrees and high/low hierarchies; 10. Jumps of minimal degrees; 11. Bounding minimal degrees with recursively enumerable degrees; 12. Initial segments of D [0,0']; Appendix A. Coding into structures and theories; Appendix B. lattice tables and representation theorems; References; Notation index; Subject index.
Descriere
This volume presents a systematic study of the interaction between local and global degree theory.