Recursion Theory Week

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

AvHeinz-Dieter Ebbinghaus,Gert H. Müller

Häftad, Engelska, 1985

Del 1141 i serien Lecture Notes in Mathematics

535 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1985-08-01
Mått:155 x 235 x 24 mm
Vikt:651 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:420
Upplaga:1985
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540156734

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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

Del 1432

Recursion Theory Week

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

Häftad

376 kr

Del 1141

Distributed Computer and Communication Networks

Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev

Häftad

551 kr

Del 120

Decidable Theories

Dirk Siefkes, Gert H. Müller

Häftad

271 kr

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

Häftad

2 401 kr

Del 1141

Hormone

Andreas Paulsen

Inbunden

1 514 kr

Del 1141

Drug Transporters in Drug Disposition, Effects and Toxicity

Xiaodong Liu, Guoyu Pan

Häftad

2 183 kr

-30%

Systrarna

Jonas Hassen Khemiri

Pocket

69 kr99 kr

Del 1141

Automatic Control and Emerging Technologies

Hassan El Fadil, Weicun Zhang

Inbunden

3 705 kr

4 för 3

Del 5

Nattankare

Kristina Ohlsson

Pocket

99 kr

-30%

Brevbäraren i Lizzanello

Francesca Giannone

Pocket

11

69 kr99 kr