• Produktbild: Recursion Theory Week
  • Produktbild: Recursion Theory Week
Band 1432

Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Fr. 52.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.1990

Herausgeber

Klaus Ambos-Spies + weitere

Verlag

Springer Berlin

Seitenzahl

400

Maße (L/B/H)

23.5/15.5/2.3 cm

Gewicht

648 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52772-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.1990

Herausgeber

Verlag

Springer Berlin

Seitenzahl

400

Maße (L/B/H)

23.5/15.5/2.3 cm

Gewicht

648 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52772-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Recursion Theory Week
  • Produktbild: Recursion Theory Week
  • Honest polynomial reductions and exptally sets.- On the structure of degrees below O?.- Positive solutions to Post's problem.- The metamathematics of Fraïssé's order type conjecture.- Enumeration reducibility, nondeterministic computations and relative computability of partial functions.- Notes on the O? priority method with special attention to density results.- Array nonrecursive sets and multiple permitting arguments.- Superbranching degrees.- A direct construction of a minimal recursively enumerable truth-table degree.- ?2-induction and the construction of a high degree.- Undecidability and initial segments of the wtt-degrees ?0?.- Randomness and generalizations of fixed point free functions.- Recursive enumeration without repetition revisited.- Priority arguments using iterated trees of strategies.- On the relationship between the complexity, the degree, and the extension of a computable set.- Polynomially isolated sets.- A characterization of effective topological spaces.