Heyting-valued interpretations for Constructive Set Theory

Gambino, N orcid.org/0000-0002-4257-3590 (2006) Heyting-valued interpretations for Constructive Set Theory. Annals of Pure and Applied Logic, 137 (1-3). pp. 164-188. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2005 Elsevier B.V. This is an author produced version of a paper published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Constructive set theory; Formal topology; Pointfree topology; Heyting algebra; Frame; Heyting-valued models
Dates:
  • Published: January 2006
  • Published (online): 1 July 2005
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 05 Sep 2017 14:12
Last Modified: 18 Jan 2018 06:04
Status: Published
Publisher: Elsevier Masson
Identification Number: https://doi.org/10.1016/j.apal.2005.05.021

Share / Export

Statistics