An equivalent form of Lévy’s axiom schema
Murray A. Jorgensen · Proceedings of the American Mathematical Society · 1970
A generalized notion of ordinal inaccessibility is defined. A characterization of this notion in terms of normal ordinal functions yields as a consequence that a schema analogous to a form of Tarski’s Axiom of Inaccessible Cardinals is equivalent to Lévy’s axiom schema under the axiom of choice.