From the weak to the strong existence property

This is the latest version of this eprint.

Rathjen, M (2012) From the weak to the strong existence property. Annals of Pure and Applied Logic, 163 (10). 1400 - 1418 (19). ISSN 0168-0072



  • Rathjen, M
Keywords: intuitionistic set theory, collection axiom, realizability with sets of witnesses, weak existence property, set recursive functions
  • Published: October 2012
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: 28 Feb 2013 14:22
Last Modified: 05 Nov 2016 00:13
Published Version:
Status: Published
Publisher: Elsevier-Masson
Identification Number:

Available Versions of this Item

Share / Export