Sciweavers

2 search results - page 1 / 1
» The wholeness axiom and Laver sequences
Sort
View
AML
2000
71views more  AML 2000»
13 years 5 months ago
Consistency of V = HOD with the wholeness axiom
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
Paul Corazza