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

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Keywords: intuitionistic set theory, collection axiom, realizability with sets of witnesses, weak existence property, set recursive functions
Dates:
  • Published: October 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: 28 Feb 2013 14:22
Last Modified: 05 Nov 2016 00:13
Published Version: http://dx.doi.org/10.1016/j.apal.2012.01.012
Status: Published
Publisher: Elsevier-Masson
Identification Number: https://doi.org/10.1016/j.apal.2012.01.012

Available Versions of this Item

  • From the weak to the strong existence property. (deposited 28 Feb 2013 14:22) [Currently Displayed]

Share / Export

Statistics