312 research outputs found
Template iterations with non-definable ccc forcing notions
We present a version with non-definable forcing notions of Shelah's theory of
iterated forcing along a template. Our main result, as an application, is that,
if is a measurable cardinal and are
uncountable regular cardinals, then there is a ccc poset forcing
. Another
application is to get models with large continuum where the groupwise-density
number assumes an arbitrary regular value.Comment: To appear in the Annals of Pure and Applied Logic, 45 pages, 2
figure
- …