Frontmatter -- Preface -- Contents -- 1 An introduction to higher recursion theory -- 2 Hyperarithmetic theory -- 3 Admissibility and constructibility -- 4 The theory of Π -- 5 Recursion-theoretic forcing -- 6 Set theory -- 7 Classification of jump operators -- 8 The construction of Π -- 9 Independence results in recursion theory -- 10 Rigidity and biinterpretability of hyperdegrees -- 11 Basis theorems -- 12 Review of classical algorithmic randomness -- 13 More on hyperarithmetic theory -- 14 The theory of higher randomness -- A Open problems -- B An interview with Gerald E. Sacks -- C Notations and symbols -- Bibliography -- Index -- Backmatter
%a Recursion theory : %b computational aspects of definability / %c Chi Tat Chong, Liang Yu.
256
%a Dane tekstowe.
260
#
%a Berlin ; %a Boston : %b Walter de Gruyter, %c [2015].
336
%a Tekst %b txt %2 rdacontent
337
%a Komputer %b c %2 rdamedia
338
%a Dokument online %b cr %2 rdacarrier
490
1
%a De Gruyter Series in Logic and Its Applications, %x 1438-1893 ; %v vol. 8
505
0
#
%t Frontmatter -- %t Preface -- %t Contents -- %t 1 An introduction to higher recursion theory -- %t 2 Hyperarithmetic theory -- %t 3 Admissibility and constructibility -- %t 4 The theory of Π -- %t 5 Recursion-theoretic forcing -- %t 6 Set theory -- %t 7 Classification of jump operators -- %t 8 The construction of Π -- %t 9 Independence results in recursion theory -- %t 10 Rigidity and biinterpretability of hyperdegrees -- %t 11 Basis theorems -- %t 12 Review of classical algorithmic randomness -- %t 13 More on hyperarithmetic theory -- %t 14 The theory of higher randomness -- %t A Open problems -- %t B An interview with Gerald E. Sacks -- %t C Notations and symbols -- %t Bibliography -- %t Index -- %t Backmatter.
520
8
%a 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.
538
%a Tryb dostępu: Internet.
650
#
%a Książki elektroniczne.
650
#
%a Teoria rekursywności.
700
1
#
%a Yu, Liang %c (matematyka).
710
2
#
%a Walter de Gruyter und Co. %4 pbl
830
0
%a De Gruyter Series in Logic and Its Applications %x 1438-1893 %v 8
856
4
9
%u https://doi.org/10.1515/9783110275643 %z Dostęp do pełnego tekstu dokumentu z komputerów UŚ. %9 Link lokalny
856
4
9
%u http://han.bg.us.edu.pl/han/de-gruyter/https/www.degruyter.com/view/title/123290 %z Dostęp do pełnego tekstu dokumentu z komputerów zlokalizowanych poza siecią UŚ poprzez system HAN. %9 Link lokalny
856
4
#
%u https://integro.ciniba.edu.pl/integro/index.php?r=site/recorddetail&id=0192805552666 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920
%a 978-3-11-027564-3
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.
Informacja
Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!
wyszukiwanie rozszerzone - obejmuje warunek w różnych formach ze względu na inne końcówki fleksyjne (stemming), synonimy, brak znaków diakrytycznych itp.
wyszukiwanie precyzyjne - obejmuje warunek tylko w podanej formie. Nie uwzględnia się tutaj innych końcówek fleksyjnych, synonimów, braku znaków diakrytycznych itp.
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies
Prześlij opinię
Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.
