Article contents
Variations on realizability: realizing the propositional axiom of choice
Published online by Cambridge University Press: 06 August 2002
Abstract
Realizability and related functional interpretations provide models for constructive mathematics. Generally, these models do not validate the axiom of choice for propositions taken over hierarchies of extensional functionals. We describe simple classes of models where the axiom is validated.
- Type
- Research Article
- Information
- Copyright
- © 2002 Cambridge University Press
- 2
- Cited by