Hostname: page-component-7b7567c8c-7pwfn Total loading time: 0 Render date: 2026-11-12T20:11:36.960Z Has data issue: false hasContentIssue false
  • English
  • Français

Variations on realizability: realizing the propositional axiom of choice

Published online by Cambridge University Press:  06 August 2002

J. M. E. HYLAND
J. M. E. HYLAND
Affiliation:
D. P. M. M. S. University of Cambridge, Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WB, U.K.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 12 , Issue 3 , June 2002, pp. 295 - 317
Copyright
© 2002 Cambridge University Press