Presheaf models for constructive set theories

Gambino, N orcid.org/0000-0002-4257-3590 (2005) Presheaf models for constructive set theories. In: Crosilla, L and Schuster, P, (eds.) From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics. Oxford University Press , Oxford, UK , pp. 62-77. ISBN 9780198566519

Abstract

Metadata

Item Type: Book Section
Authors/Creators:
Editors:
  • Crosilla, L
  • Schuster, P
Copyright, Publisher and Additional Information:

© 2005 Oxford University Press. This is an author produced version of a paper published in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: presheaves, algebraic set theory, intuitionistic set theory, independence proofs, Dana Scott
Dates:
  • Published: 2005
  • Published (online): September 2007
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Sep 2017 16:04
Last Modified: 16 Jan 2018 14:15
Status: Published
Publisher: Oxford University Press
Identification Number: 10.1093/acprof:oso/9780198566519.003.0004
Open Archives Initiative ID (OAI ID):

Export

Statistics