Structure and Randomness in Computability and Set Theory - Hardcover

Book 3 of 3: Mathematical Logic and Foundat
 
9789813228221: Structure and Randomness in Computability and Set Theory
Hardcover
ISBN 10: 9813228229 ISBN 13: 9789813228221
Publisher: World Scientific Pub Co Inc, 2020

Synopsis

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.


Contents: Limits of the Kucerea-Gacs Coding Method (George Barmpalias and Andrew Lewis-Pye); Infinitary partition properties of sums of selective ultrafilters (Andreas Blass); Semiselective Coideals and Ramsey Sets (Carlos DiPrisco and Leonardo Pacheco); Survey on Topological Ramsey Spaces Dense in Forcings (Natasha Dobrinen); Higher Computability in the Reverse Mathematics of Borel Determinacy (Sherwood Hachtman); Computability and Definability (Valentina Harizanov); A Ramsey Space of Infinite Polyhedra and the Random Polyhedron (Jose G Mijares Palacios and Gabriel Padilla); Computable Reducibility for Cantor Space (Russell G Miller); Information vs Dimension - An Algorithmic Perspective (Jan Reimann);


Readership: Graduate students and researchers interested in the interface between set theory and computability.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
World Scientific Pub Co Inc
Publication date
2020
Language
English
ISBN 10 
9813228229
ISBN 13 
9789813228221
Binding
Hardcover
Number of pages
388
Editor
Cenzer Douglas, Porter Christopher, Zapletal Jindrich