Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

Warning

There is a more recent version of this eprint available. Click here to view it.

Rathjen, M (2013) Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience. Annals of Pure and Applied Logic. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Keywords: Constructive set theory; Limited principle of omniscience; Bar induction; Proof-theoretic strength
Dates:
  • Published: September 2013
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: 01 Oct 2013 10:58
Last Modified: 01 Oct 2013 10:58
Published Version: http://dx.doi.org/10.1016/j.apal.2013.08.001
Status: Published
Publisher: Elsevier Masson
Identification Number: https://doi.org/10.1016/j.apal.2013.08.001

Available Versions of this Item

Download not available

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

Export

Statistics