Extensional realizability for intuitionistic set theory

Frittaion, E and Rathjen, M (2020) Extensional realizability for intuitionistic set theory. Journal of Logic and Computation. exaa087. ISSN 0955-792X



  • Frittaion, E
  • Rathjen, M
Copyright, Publisher and Additional Information: © The Author(s) 2020. Published by Oxford University Press. All rights reserved. This is an author produced version of an article, published in Journal of Logic and Computation. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Intuitionistic, constructive, set theory, realizability, extensionality
  • Accepted: 9 December 2020
  • Published (online): 30 December 2020
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Funding Information:
FunderGrant number
John Templeton Foundation (US)60842
Depositing User: Symplectic Publications
Date Deposited: 25 Jan 2021 15:59
Last Modified: 30 Dec 2021 01:38
Status: Published online
Publisher: Oxford University Press (OUP)
Identification Number: https://doi.org/10.1093/logcom/exaa087

Share / Export