On Separating Wholeness Axioms

MaRDI QIDQ6446544zbMATH OpenFDO

Authors Hanul Jeon

Publication date 7 August 2023

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Large cardinals (03E55)

This page was built for publication: On Separating Wholeness Axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6446544)