Del 1141 - Lecture Notes in Mathematics

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Häftad, Engelska, 1985

Av Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks

719 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-08-01
Mått155 x 235 x 24 mm
Vikt651 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor420
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540156734

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools – ICAFS-2023

Del 1141

16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools – ICAFS-2023

Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, M.B. Babanli, Fahreddin M. Sadikoglu

3 339 kr

Hormone

Del 1141

Hormone

2 009 kr

Parallel Problem Solving from Nature - PPSN IV

Del 1141

Parallel Problem Solving from Nature - PPSN IV

Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel, Hans-Michael Voigt

1 459 kr

Complex Networks & Their Applications XII

Del 1141

Complex Networks & Their Applications XII

Hocine Cherifi, Luis M. Rocha, Chantal Cherifi, Murat Donduran

3 649 kr

Drug Transporters in Drug Disposition, Effects and Toxicity

Del 1141

Drug Transporters in Drug Disposition, Effects and Toxicity

Xiaodong Liu, Guoyu Pan

2 889 kr

Automatic Control and Emerging Technologies

Del 1141

Automatic Control and Emerging Technologies

Hassan El Fadil, Weicun Zhang

4 759 kr

Recursion Theory Week

Del 1432

Recursion Theory Week

Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks

499 kr

Automatic Control and Emerging Technologies

Del 1141

Automatic Control and Emerging Technologies

Hassan El Fadil, Weicun Zhang

5 779 kr

Complex Networks & Their Applications XII

Del 1141

Complex Networks & Their Applications XII

Hocine Cherifi, Luis M. Rocha, Chantal Cherifi, Murat Donduran

3 649 kr

Hitster Christmas

Hitster Christmas

Jumbo

259 kr