Power Kripke–Platek set theory and the axiom of choice

Rathjen, M (2020) Power Kripke–Platek set theory and the axiom of choice. Journal of Logic and Computation. ISSN 0955-792X

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Copyright, Publisher and Additional Information: © the Author(s) 2020. Published by Oxford University Press. All rights reserved. This is an author produced version of a paper published in Journal of Logic and Computation. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Power Kripke–Platek set theory, ordinal analysis, ordinal representation systems, proof-theoretic strength, power-admissible set, global axiom of choice
Dates:
  • Accepted: 19 December 2019
  • Published (online): 17 February 2020
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)
Funding Information:
FunderGrant number
EPSRCEP/K023128/1
Depositing User: Symplectic Publications
Date Deposited: 07 Jan 2020 12:01
Last Modified: 19 Feb 2020 15:36
Status: Published online
Publisher: Oxford University Press
Identification Number: https://doi.org/10.1093/logcom/exaa020

Download

Accepted Version


Embargoed until: 17 February 2021

Filename: KPP_AC_non_APAL.pdf

Request a copy

Share / Export

Statistics