Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-20T08:52:49.086Z 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.
Get access Rights & Permissions [Opens in a new window]

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
Mathematical Structures in Computer Science , Volume 12 , Issue 3 , June 2002 , pp. 295 - 317
Copyright
© 2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)