Recursion Theory

Name: Recursion Theory
Brand: De Gruyter
SKU: 9783110275551
Price: 772.0 RON
Availability: InStock

Computational Aspects of Definability

Autor: Chi Tat Chong, Liang Yu

Limbă:

Legare: Copertă tare

Editura: De Gruyter

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

772.00 lei

This monograph presents recursion theory from a generalized and largely global point of view. A majo...

Informații despre carte

Autor

Chi Tat Chong, Liang Yu

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2015

Pagini

320

EAN

9783110275551

ISBN

3110275554

Enbook ID

08878388

Editura

De Gruyter

Greutate

665

Dimensiuni

170 x 240 x 247

Descriere completă

This monograph presents recursion theory from a generalized and largely global point of view. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using ideas and techniques beyond those of classical recursion theory. These include structure theory, hyperarithmetic determinacy and rigidity, basis theorems, independence results on Turing degrees, as well as applications to higher randomness.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Recursion Theory

Computational Aspects of Definability

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și