Abstract
I establish here a criterion for a sequence of ordinals to be generic over a transitive model of ZFC with respect to a notation of forcing first considered by Prikry in his Doctoral dissertation [2]. In Section 0 I review some notation, in Section 1 I list some facts about measurable cardinals, and in Section 2, after giving Prikry's result, I state and prove mine.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have