Relativized ordinal analysis: The case of Power Kripke-Platek set theory

This is the latest version of this eprint.

Rathjen, M (2014) Relativized ordinal analysis: The case of Power Kripke-Platek set theory. Annals of Pure and Applied Logic, 165 (1). 316 - 339. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Copyright, Publisher and Additional Information: (c) 2013, Elsevier Masson. This is an author produced version of a paper published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Ordinal analysis; Ordinal representation systems; Power Kripke-Platek set theory; Power-admissible set; Proof-theoretic strength
Dates:
  • Published: January 2014
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: 11 Dec 2014 14:01
Last Modified: 21 Apr 2015 19:54
Published Version: http://dx.doi.org/10.1016/j.apal.2013.07.016
Status: Published
Publisher: Elsevier Masson
Identification Number: https://doi.org/10.1016/j.apal.2013.07.016

Available Versions of this Item

Export

Statistics


CORE (COnnecting REpositories)