Lévy and Vaught showed that inaccessible cardinals can be indexed only relative to a model; across m...