The Consistency Strength of Successive C
β
Matthew Foreman, Menachem Magidor and Ralf-Dieter Schindler
π
Article
π
2001
π
Association for Symbolic Logic
π
English
β 293 KB