Constructive zermelo-fraenkel set theory, power set, and the calculus of constructions

Rathjen, M (2012) Constructive zermelo-fraenkel set theory, power set, and the calculus of constructions. In: Dybjer, P, Lindström, S, Palmgren, E and Sundholm, G, (eds.) Epistemology versus ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science, 27 . Springer , Dordrecht, Netherlands , 313 - 349. ISBN 9789400744356

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Copyright, Publisher and Additional Information: © 2012, Springer. This is an author produced version of a book chapter published by Springer. Uploaded in accordance with the publisher's self-archiving policy. The final publication is available at www.springerlink.com
Keywords: Constructive set theory; Martin-Lof type theory; Mac Lane set theory; realizability with sets of witnesses; Power Kripke-Platek set theory; calculus of constructions; set recursion; power recursion; negative power set axiom; proof-theoretic strength
Dates:
  • Published: June 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 09:40
Last Modified: 28 Oct 2016 00:36
Published Version: http://dx.doi.org/10.1007/978-94-007-4435-6
Status: Published
Publisher: Springer
Series Name: Logic, Epistemology, and the Unity of Science
Identification Number: https://doi.org/10.1007/978-94-007-4435-6

Share / Export

Statistics