Sets and Computations

Friedman, Sy-david (EDT); Raghavan, Dilip (EDT); Yang, Yue (EDT)

ISBN 10: 9813223510 / ISBN 13: 9789813223516

Editore: World Scientific Publishing Company, 2017

Riguardo questo articolo

Codice articolo 29707373-n

Dati bibliografici

• Titolo: Sets and Computations
• Editore: World Scientific Publishing Company
• Data di pubblicazione: 2017
• Lingua: Inglese
• ISBN 10: 9813223510
• ISBN 13: 9789813223516
• Rilegatura: Rilegato
• Condizione: New

Descrizione articolo

Riassunto

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and Computation Theory. This includes the new research areas of computational complexity in set theory, randomness beyond the hyperarithmetic, powerful extensions of Goodstein's theorem and the capturing of large fragments of set theory via elementary-recursive structures.Further chapters are concerned with central topics within Set Theory, including cardinal characteristics, Fraïssé limits, the set-generic multiverse and the study of ideals. Also Computation Theory, which includes computable group theory and measure-theoretic aspects of Hilbert's Tenth Problem. A volume of this broad scope will appeal to a wide spectrum of researchers in mathematical logic.