Article contents
Realizability algebras III: some examples
Published online by Cambridge University Press: 03 May 2016
Abstract
We use the technique of “classical realizability” to build new models of ZF + DC in which R is not well ordered. This gives new relative consistency results, which are not obtainable by forcing. This gives also a new method to get programs from proofs of arithmetical formulas with dependent choice.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2016
References
- 2
- Cited by