Blick ins Buch

Techniques of Admissible Recursion Theory

C. T. Chong (Autor)

Buch | Softcover

XII, 220 Seiten

1984 | 1984
Springer Berlin (Verlag)
978-3-540-13902-7 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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
Themenwelt	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