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

Abstract

Metadata

Authors/Creators:
  • 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
Dates:
  • 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: 25 Jan 2021 15:59
Status: Published online
Publisher: Oxford University Press (OUP)
Identification Number: https://doi.org/10.1093/logcom/exaa087

Download

Accepted Version


Embargoed until: 30 December 2021

Filename: extensional realizability_M.pdf

Request a copy

file not available

Share / Export

Statistics