Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Introduction
- PART I BASICS
- PART II SECOND-ORDER STRUCTURES
- PART III AC0 WORLD
- 6 Theories IΔ0, IΔ0(R) and V01
- 7 Shallow Boolean decision tree model
- 8 Open comprehension and open induction
- 9 Comprehension and induction via quantifier elimination: a general reduction
- 10 Skolem functions, switching lemma and the tree model
- 11 Quantifier elimination in K(Ftree, Gtree)
- 12 Witnessing, independence and definability in V01
- PART IV AC0(2) WORLD
- PART V TOWARDS PROOF COMPLEXITY
- PART VI PROOF COMPLEXITY OF Fd AND Fd (⊕)
- PART VII POLYNOMIAL-TIME AND HIGHER WORLDS
- PART VIII PROOF COMPLEXITY OF EF AND BEYOND
- Appendix: Non-standard models and the ultrapower construction
- Standard notation, conventions and list of symbols
- References
- Name index
- Subject index
12 - Witnessing, independence and definability in V01
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Introduction
- PART I BASICS
- PART II SECOND-ORDER STRUCTURES
- PART III AC0 WORLD
- 6 Theories IΔ0, IΔ0(R) and V01
- 7 Shallow Boolean decision tree model
- 8 Open comprehension and open induction
- 9 Comprehension and induction via quantifier elimination: a general reduction
- 10 Skolem functions, switching lemma and the tree model
- 11 Quantifier elimination in K(Ftree, Gtree)
- 12 Witnessing, independence and definability in V01
- PART IV AC0(2) WORLD
- PART V TOWARDS PROOF COMPLEXITY
- PART VI PROOF COMPLEXITY OF Fd AND Fd (⊕)
- PART VII POLYNOMIAL-TIME AND HIGHER WORLDS
- PART VIII PROOF COMPLEXITY OF EF AND BEYOND
- Appendix: Non-standard models and the ultrapower construction
- Standard notation, conventions and list of symbols
- References
- Name index
- Subject index
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781139107211/resource/name/firstPage-9781139107211c12_p75-80_CBO.jpg)
- Type
- Chapter
- Information
- Forcing with Random Variables and Proof Complexity , pp. 75 - 80Publisher: Cambridge University PressPrint publication year: 2010