Book contents
- Frontmatter
- Introduction
- Contents
- K. Jon Barwise (1942-2000)
- TUTORIALS
- PHOTOGRAPHS
- ARTICLES
- Bounded forcing axioms and the size of the continuum
- Hilbert's wide program
- Rigidity conjectures
- Metapredicative and explicit Mahlo: a proof-theoretic perspective
- A two-dimensional tree ideal
- Psychology looks hopefully to logic
- Russell's logics
- Partitioning pairs of uncountable sets
- Aspects of the Turing jump
- Liouville functions
- References
Aspects of the Turing jump
from ARTICLES
Published online by Cambridge University Press: 27 June 2017
- Frontmatter
- Introduction
- Contents
- K. Jon Barwise (1942-2000)
- TUTORIALS
- PHOTOGRAPHS
- ARTICLES
- Bounded forcing axioms and the size of the continuum
- Hilbert's wide program
- Rigidity conjectures
- Metapredicative and explicit Mahlo: a proof-theoretic perspective
- A two-dimensional tree ideal
- Psychology looks hopefully to logic
- Russell's logics
- Partitioning pairs of uncountable sets
- Aspects of the Turing jump
- Liouville functions
- References
Summary

- Type
- Chapter
- Information
- Logic Colloquium 2000 , pp. 365 - 382Publisher: Cambridge University PressPrint publication year: 2005