Recursion Theory Week
Springer Berlin (Verlag)
978-3-540-15673-4 (ISBN)
Prof. Dr. H.-D. Ebbinghaus ist Leiter des Instituts für Mathematische Logik an der Universität Freiburg. Durch Veröffentlichungen hat der Autor einen hohen Bekanntheitsgrad in der Hochschulmathematik.
Generators of the recursively enumerable degrees.- Kleene degrees of ultrafilters.- Recursion theory on strongly ?2 inadmissible ordinals.- Applications of the low-basis theorem in arithmetic.- Strong reducibilities in ?- and ?-recursion theory.- Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees.- An immune partition of the ordinals.- An application of ? 2 1 -logic to descriptive set theory.- Probabilistic machines, oracles, and quantifiers.- Minimal polynomial degrees of nonrecursive sets.- Genericity for recursively enumerable sets.- Sets of everywhere singular functions.- Measure, ? 1 0 -classes and complete extensions of PA.- On the ordering of classes in high/low hierarchies.- Generic objects in recursion theory.- The structure of m-degrees.- Some open questions in recursion theory.- Absolute type 2 objects.- Recursion theoretic aspects of the dual ramsey theorem.- Reflection and the priority method in E-recursion theory.- Subrecursive ordinals.
Erscheint lt. Verlag | 1.8.1985 |
---|---|
Reihe/Serie | Lecture Notes in Mathematics |
Zusatzinfo | XII, 420 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 603 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | arithmetic • Computability Theory • Function • ordinal • Recursion • set theory • Theorem • turing degree |
ISBN-10 | 3-540-15673-9 / 3540156739 |
ISBN-13 | 978-3-540-15673-4 / 9783540156734 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich