Some results about (+) proved by iterated forcing

DOI10.2178/jsl/1333566635zbMath1251.03055OpenAlexW2041656193MaRDI QIDQ2892673

Tetsuya Ishiu, Paul B. Larson

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566635

zbMATH Keywords

forcingclub guessing principles

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Related Items (4)

Adding many Baumgartner clubs ⋮ Compactness and guessing principles in the Radin extensions ⋮ SQUARE WITH BUILT-IN DIAMOND-PLUS ⋮ Separating club-guessing principles in the presence of fat forcing axioms

Cites Work

• \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
• The canonical function game
• Club guessing sequences and filters
• Unnamed Item

This page was built for publication: Some results about (+) proved by iterated forcing