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
This paper is concerned with metamathematical properties of intuitionistic set theories with choice principles. It is proved that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for constructive Zermelo–Fraenkel Set Theory and full intuitionistic Zermelo–Fraenkel augmented by any combination of the principles of countable choice, dependent choices, and the presentation axiom. Also Markov’s principle may be added.
Metadata
Item Type: | Book Section |
---|---|
Authors/Creators: |
|
Editors: |
|
Keywords: | Constructive set theory; Intuitionistic set theory; Realizability; Metamathematical property |
Dates: |
|
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: | 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: | 10.1007/978-0-387-68546-5_13 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:76753 |