Chong / Yu | Recursion Theory | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 8, 320 Seiten

Reihe: De Gruyter Series in Logic and Its ApplicationsISSN

Chong / Yu Recursion Theory

Computational Aspects of Definability
1. Auflage 2015
ISBN: 978-3-11-027564-3
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Computational Aspects of Definability

E-Book, Englisch, Band 8, 320 Seiten

Reihe: De Gruyter Series in Logic and Its ApplicationsISSN

ISBN: 978-3-11-027564-3
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark



Chong / Yu Recursion Theory jetzt bestellen!

Autoren/Hrsg.

Chong, Chi Tat
Yu, Liang

Fachgebiete

Weitere Infos & Material

Preliminaries 1. ?11-uniformization and Applications to Turing Degrees 2. Rigidity of Hyperdegrees 3. Basis Theorems and ?11-Hyperarithmetic 4. The Jump Operator 5. Independence Results in the Turing Degrees 6. Higher Randomness References Index

Chi Tat Chong, National University of Singapore; Liang Yu, Nanjing University, Jiangsu, China.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.