Sets and computations
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 Theo...
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Singapore
World Scientific
2017
|
| Series: | Lecture notes series, Institute for Mathematical Sciences, National University of Singapore
volume 33 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 53394 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219014437.0 | ||
| 008 | 221104 20172017si a b 001 0 eng d | ||
| 020 | |a 9789813223516 | ||
| 039 | 9 | |a 202211041230 |b VLOAD |c 201911011513 |d faezah |c 201911011512 |d faezah |y 201904171115 |z helmey | |
| 040 | |a UPNM |b eng |c UPNM |e rda | ||
| 090 | |a QA 248 |b .S487 2017 | ||
| 245 | 0 | 0 | |a Sets and computations |c editors, by Sy-David Friedman, Dilip Raghavan, Yue Yang |
| 264 | 1 | |a Singapore |b World Scientific |c 2017 | |
| 264 | 4 | |c © 2017 | |
| 300 | |a x, 269 pages |b illustrations |c 28 cm. | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes series, Institute for Mathematical Sciences, National University of Singapore |v volume 33 | |
| 504 | |a Includes bibliographical references | ||
| 505 | 0 | |a 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 -- 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 -- 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 | |
| 520 | |a 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."--Publisher's website | ||
| 592 | |a 37495 |b 16/7/2019 |c RM 427.54 |h Bookline | ||
| 650 | 0 | |a Set theory | |
| 650 | 0 | |a Computational complexity | |
| 700 | 1 | |a Friedman, Sy D. |d 1953- |e editor | |
| 700 | 1 | |a Raghavan, Dilip |e editor | |
| 700 | 1 | |a Yang, Yue |d 1964- |e editor | |
| 999 | |a vtls000063883 |c 53394 |d 53394 | ||