Baire space in CZF

This is the latest version of this eprint.

Curi, G and Rathjen, M (2012) Baire space in CZF. In: Berger, U, Diener, H, Schuster, P and Seisenberger, M, (eds.) Logic, construction, computation. Ontos Verlag , 123 - 135. ISBN 978-3-11-032492-1

Metadata

Authors/Creators:
  • Curi, G
  • Rathjen, M
Copyright, Publisher and Additional Information: (c) 2012, De Gruyter. Reproduced in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 2012
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: 12 Nov 2013 12:50
Last Modified: 11 Apr 2017 12:15
Published Version: http://www.degruyter.com/
Status: Published
Publisher: Ontos Verlag
Identification Number: https://doi.org/10.1515/9783110324921

Available Versions of this Item

  • Baire space in CZF. (deposited 12 Nov 2013 12:50) [Currently Displayed]

Share / Export

Statistics