set theory - To which large cardinal property this inaccessible cardinal is equal? - Mathematics Stack Exchange