^*Forcing

Abstract: Let

M

be a transitive model of

Z F C

and let

be a

M

-complete Boolean algebra in

M .

(In general a proper class.) We define a generalized notion of forcing with such Boolean algebras,

^{*}

forcing. (A

^{*}

forcing extension of

M

is a transitive set of the form

where

is an

M

-complete ultrafilter on

) We prove that 1. If

is a

^{*}

forcing complete ultrafilter on

then

2. Let

H s u b M .

If there is a least transitive model

N

such that

H i n M,

O r d^{M} = O r d^{N},

and

N m o d e l s Z F C,

then we denote

N

by

M [H] .

We show that all models of

Z F C

of the form

M [H]

are

^{*}

forcing extensions of

M .

As an immediate corollary we get that

is a

^{*}

forcing extension of

L .

This page was built for publication: $^*$Forcing