Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Introduction
- PART I BASICS
- PART II SECOND-ORDER STRUCTURES
- PART III AC0 WORLD
- PART IV AC0(2) WORLD
- 13 Theory Q2V01
- 14 Algebraic model
- 15 Quantifier elimination and the interpretation of Q2
- 16 Witnessing and independence in Q2V01
- 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
14 - Algebraic model
Published online by Cambridge University Press: 05 November 2011
Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Introduction
- PART I BASICS
- PART II SECOND-ORDER STRUCTURES
- PART III AC0 WORLD
- PART IV AC0(2) WORLD
- 13 Theory Q2V01
- 14 Algebraic model
- 15 Quantifier elimination and the interpretation of Q2
- 16 Witnessing and independence in Q2V01
- 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
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Forcing with Random Variables and Proof Complexity , pp. 85 - 88Publisher: Cambridge University PressPrint publication year: 2010