Consistency of \(V= \text{HOD}\) with the wholeness axiom

DOI10.1007/s001530050144zbMath0945.03075OpenAlexW2084384075WikidataQ114018334 ScholiaQ114018334MaRDI QIDQ1568713

Paul Corazza

Publication date: 8 October 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050144

zbMATH Keywords

elementary embeddingwholeness axiomtransitive modelLaver sequencesregular classes of set embeddings

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items (7)

The spectrum of elementary embeddings \(j: V \to V\) ⋮ Coding into HOD via normal measures with some applications ⋮ The Axiom of Infinity and Transformations j: V → V ⋮ Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) ⋮ Indestructibility of Wholeness ⋮ Descriptive definitions of potential and actual infinities ⋮ The wholeness axiom and Laver sequences

This page was built for publication: Consistency of \(V= \text{HOD}\) with the wholeness axiom