Book contents
- Frontmatter
- Note to the readers
- Contents
- 1 What are the reals, anyway?
- I On the length of Borel hierarchies
- II Analytic sets
- 17 Analytic sets
- 18 Constructible well-orderings
- 19 Hereditarily countable sets
- 20 Shoenfield Absoluteness
- 21 Mansfield-Solovay Theorem
- 22 Uniformity and Scales
- 23 Martin's axiom and Constructibility
- 24 well-orderings
- 25 Large sets
- III Classical Separation Theorems
- IV Gandy Forcing
- References
- Index
- Elephant Sandwiches
19 - Hereditarily countable sets
from II - Analytic sets
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Note to the readers
- Contents
- 1 What are the reals, anyway?
- I On the length of Borel hierarchies
- II Analytic sets
- 17 Analytic sets
- 18 Constructible well-orderings
- 19 Hereditarily countable sets
- 20 Shoenfield Absoluteness
- 21 Mansfield-Solovay Theorem
- 22 Uniformity and Scales
- 23 Martin's axiom and Constructibility
- 24 well-orderings
- 25 Large sets
- III Classical Separation Theorems
- IV Gandy Forcing
- References
- Index
- Elephant Sandwiches
- Type
- Chapter
- Information
- Descriptive Set Theory and ForcingHow to Prove Theorems about Borel Sets the Hard Way, pp. 72 - 73Publisher: Cambridge University PressPrint publication year: 2017