Ordinal Analysis of Intuionistic power and exponentiation Kripke Platek set theory

Cook, J and Rathjen, M (2016) Ordinal Analysis of Intuionistic power and exponentiation Kripke Platek set theory. In: Kahle, R, Strahm, T and Studer, T, (eds.) Advances in Proof Theory. Progress in Computer Science and Applied Logic, 28 . Springer International Publishing , Cham, Switzerland , pp. 79-172. ISBN 978-3-319-29196-3

Abstract

Metadata

Authors/Creators:
  • Cook, J
  • Rathjen, M
Copyright, Publisher and Additional Information: (c) 2016, Springer International Publishing Switzerland. This is an author produced version of a chapter published in Advances in Proof Theory (volume 28 of Progress in Computer Science and Applied Logic). Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 23 May 2016
  • Accepted: 8 March 2016
  • Published (online): 5 May 2016
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: 30 Sep 2016 14:37
Last Modified: 17 Nov 2018 02:11
Published Version: https://doi.org/10.1007/978-3-319-29198-7_4
Status: Published
Publisher: Springer International Publishing
Series Name: Progress in Computer Science and Applied Logic
Identification Number: https://doi.org/10.1007/978-3-319-29198-7_4

Share / Export

Statistics