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...

Full description

Saved in:
Bibliographic Details
Other Authors: Friedman, Sy D. 1953- (Editor), Raghavan, Dilip (Editor), Yang, Yue 1964- (Editor)
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!
Table of Contents:
  • 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