Three Days of Ω-logic(<Special Section>Mathematical Logic and Its Applications)

Abstract

f-i[{z}l is nonstationary, Let h: (Ua)<W -Ua be a function such that h(z,a) = g.(a) for all a E (Ua)<W. Then any Y E a closed under h gives a contradiction, Z Fact 1.5 gives the fbllowing, Fact 1.6. ]Fbr any set Z, the identity function on P(Z) represents j'[Z] in the P<.- generic uttrapower, and the identity function on [Z]NO represents o'[Z] in the Q<.generic ultrapower.