Blass, Andreas; Dimitriou, Ioanna M.; Löwe, Benedikt Inaccessible cardinals without the axiom of choice. (English) Zbl 1116.03045 Fundam. Math. 194, No. 2, 179-189 (2007). In ZFC, a strongly inaccessible cardinal \(\kappa\) is a regular limit cardinal for which \(2^{\lambda}<\kappa\) whenever \(\lambda<\kappa\). The authors consider appropriate definitions for strong inaccessibility in the absence of AC. They produce four possible definitions that are equivalent in ZFC, but that are not equivalent in ZF. They provide a complete implication diagram (in ZF) for the different concepts: providing proofs for the positive directions and independence results for the directions that cannot be reversed. Reviewer: J. M. Plotkin (East Lansing) Cited in 1 ReviewCited in 3 Documents MSC: 03E55 Large cardinals 03E25 Axiom of choice and related propositions Keywords:inaccessible cardinal; axiom of choice; strong inaccessibility PDFBibTeX XMLCite \textit{A. Blass} et al., Fundam. Math. 194, No. 2, 179--189 (2007; Zbl 1116.03045) Full Text: DOI