Techniques of Admissible Recursion Theory
Seiten
1984
|
1984
Springer Berlin (Verlag)
978-3-540-13902-7 (ISBN)
Springer Berlin (Verlag)
978-3-540-13902-7 (ISBN)
The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.
| Erscheint lt. Verlag | 1.12.1984 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | XII, 220 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 351 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Computability Theory • Finite • Kurve (Math.) • Modell (Math. Logik) • Recursion • Theorem |
| ISBN-10 | 3-540-13902-8 / 3540139028 |
| ISBN-13 | 978-3-540-13902-7 / 9783540139027 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
