If the ambient theory used to construct such models itself requires large cardinal assumptions or AC...