Atjaunināt sīkdatņu piekrišanu

Structure And Randomness In Computability And Set Theory [Hardback]

Edited by (Univ Of Florida, Usa), Edited by (Drake Univ, Usa), Edited by (Univ Of Florida, Usa)
  • Formāts: Hardback, 388 pages
  • Izdošanas datums: 19-Oct-2020
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9813228229
  • ISBN-13: 9789813228221
Citas grāmatas par šo tēmu:
  • Hardback
  • Cena: 158,75 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Hardback, 388 pages
  • Izdošanas datums: 19-Oct-2020
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9813228229
  • ISBN-13: 9789813228221
Citas grāmatas par šo tēmu:

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibility and Borel determinacy. It also covers algorithmic randomness and dimension, Ramsey sets and Ramsey spaces. Many of these topics are being discussed in the NSF-supported annual Southeastern Logic Symposium.

Preface v
About the Editors xvii
Part I Infinitary Combinatorics and Ultrafilters
1(84)
1 Topological Ramsey Spaces Dense in Forcings
3(56)
Natasha Dobrinen
2 Infinitary Partition Properties of Sums of Selective Ultrafilters
59(26)
Andreas Blass
Part II Algorithmic Randomness and Information
85(68)
3 Limits of the Kucera--Gacs Coding Method
87(24)
George Barmpalias
Andrew Lewis-Pye
4 Information vs. Dimension: An Algorithmic Perspective
111(42)
Jan Reimann
Part III Computable Structure Theory
153(204)
5 Computable Reducibility for Cantor Space
155(42)
Russell Miller
6 Logic Programming and Effectively Closed Sets
197(88)
Douglas Cenzer
Victor W. Marek
Jeffrey B. Remmel
7 Computability and Definability
285(72)
Trang Ha
Valentina Harizanov
Leah Marshall
Hakim Walker
Author Index 357(4)
Subject Index 361