Abstract
Using work of Devlin and Schindler in conjunction with work on Prikry forcing in a choiceless context done by the author, we show that two choiceless cardinal patterns have consistency strength of at least one Woodin cardinal.
Citation
Arthur W. Apter. "On the Consistency Strength of Two Choiceless Cardinal Patterns." Notre Dame J. Formal Logic 40 (3) 341 - 345, Summer 1999. https://doi.org/10.1305/ndjfl/1022615614
Information