Metamathematical properties of intuitionistic set theories with choice principles

Rathjen, M (2010) Metamathematical properties of intuitionistic set theories with choice principles. In: Cooper, SB, Lowe, B and Sorbi, A, (eds.) New Computational Paradigms: Changing Conceptions of What is Computable. Springer , 287 - 312. ISBN 978-1-4419-2263-2

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Keywords: Constructive set theory; Intuitionistic set theory; Realizability; Metamathematical property
Dates:
  • Published: 2010
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: 24 Oct 2013 11:54
Last Modified: 04 Nov 2016 01:47
Published Version: http://dx.doi.org/10.1007/978-0-387-68546-5_13
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-0-387-68546-5_13

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics