Model theory of the inaccessibility scheme