Power Kripke–Platek set theory and the axiom of choice

DOI10.1093/LOGCOM/EXAA020OpenAlexW3006850680WikidataQ114009718 ScholiaQ114009718MaRDI QIDQ5108033

Michael Rathjen

Publication date: 29 April 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.01897

zbMATH Keywords

proof-theoretic strengthordinal analysisordinal representation systemspower Kripke-Platek set theorypower-admissible setglobal axiom of choice

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

End extending models of set theory via power admissible covers ⋮ The Operational Perspective: Three Routes

This page was built for publication: Power Kripke–Platek set theory and the axiom of choice