Sets and Computations

Nonfiction, Science & Nature, Mathematics, Set Theory, Logic
Cover of the book Sets and Computations by Sy-David Friedman, Dilip Raghavan, Yue Yang, World Scientific Publishing Company
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Sy-David Friedman, Dilip Raghavan, Yue Yang ISBN: 9789813223530
Publisher: World Scientific Publishing Company Publication: June 22, 2017
Imprint: WSPC Language: English
Author: Sy-David Friedman, Dilip Raghavan, Yue Yang
ISBN: 9789813223530
Publisher: World Scientific Publishing Company
Publication: June 22, 2017
Imprint: WSPC
Language: English

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.

Contents:

  • Set Theory:

    • Q (Jörg Brendle)
    • A Fraïssé Approach to the Poulsen Simplex (Clinton Conley and Asger Törnquist)
    • On the Set-Generic Multiverse (Sy-David Friedman, Sakaé Fuchino and Hiroshi Sakai)
    • Real Games and Strategically Selective Coideals (Paul B Larson and Dilip Raghavan)
  • Interactions:

    • Cobham Recursive Set Functions and Weak Set Theories (Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller and Neil Thapen)
    • Higher Randomness and lim-sup Forcing Within and Beyond Hyperarithmetic (Takayuki Kihara)
    • Ackermannian Goodstein Principles for First Order Peano Arithmetic (Andreas Weiermann)
    • Tracking Chains Revisited (Gunnar Wilken)
  • Computation Theory:

    • Groups with Orderings of Arbitrary Algorithmic Complexity (Jennifer Chubb, Mieczyslaw K Dabkowski and Valentina Harizanov)
    • Measure Theory and Hilbert's Tenth Problem Inside Q (Russell Miller)

Readership: Researchers and graduate students in mathematical logic, especially those interested in set theory and recursion theory.
Key Features:

  • Suitable for graduate students as well as researchers who desire to learn more about mathematical logic
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

Contents:

Readership: Researchers and graduate students in mathematical logic, especially those interested in set theory and recursion theory.
Key Features:

More books from World Scientific Publishing Company

Cover of the book Global Crisis and Sustainability Technologies by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Introduction to Astronomy by Theodore Metochites by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Principles of Heating, Ventilation and Air Conditioning with Worked Examples by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book 2015 Annual Competitiveness Analysis, Agricultural Productivity and Development Vision for ASEAN-10 by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book GMDH-Methodology and Implementation in C by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Path Integrals for Stochastic Processes by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Coastal Dynamics by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Enabling Positive Attitudes and Experiences in Singapore by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Stochastic Processes, Finance and Control by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book An Elementary Primer for Gauge Theory by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Multilateral Approach in China's Foreign Policy by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Einstein's Apple by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Applied Theoretical Organic Chemistry by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Why Are You Always on the Phone? by Sy-David Friedman, Dilip Raghavan, Yue Yang
Cover of the book Solid State Ionics by Sy-David Friedman, Dilip Raghavan, Yue Yang
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy